WalkSAT as an Informed Heuristic to DPLL in SAT Solving
Jon E. Froehlich
Artificial Intelligence Graduate Course taught by Professor Dan Weld 2005
We design, build, and evaluate interactive tools and techniques to address pressing societal
challenges in accessibility, sustainability, education, and beyond.
Sept. 30, 2022
ASSETS'22 T-Shirt Packing!
Sept. 16, 2022
Aug. 17, 2022
Makeability Lab Collaborator Maryam Hosseini Defends Her PhD Dissertation