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.
June 22, 2020
High School Research Assistant Naomi Bashkansky Named Coolidge Senator
June 02, 2020
The Makeability Lab Stands in Solidarity with Black Lives Matter
May 28, 2020
CREATE Center Launches!