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.
Dec. 09, 2019
Four Papers Accepted to CHI2020!
Nov. 30, 2019
Makeability Lab Thanksgiving!
Nov. 20, 2019
HomeSound Wins People's Choice Award