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.
Aug. 04, 2020
ISWC 2020 Paper on "Field Study of a Tactile Device" Accepted!
CSCW2020 Paper on "Urban Accessibility as a Socio-Political Problem" Accepted!
July 29, 2020
Liang He Accepted into UIST2020 Doctoral Symposium