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. 19, 2018
Graduation! Congrats Drs. Stearns and Mauriello!
Seokbin Kang Passes his PhD Preliminary Exam
Dec. 10, 2018
Five Papers Conditionally Accepted to CHI'19!