Publications

WalkSAT as an Informed Heuristic to DPLL in SAT Solving

Brian Ferris, Jon E. Froehlich

Artificial Intelligence Graduate Course taught by Professor Dan Weld 2005

PDF | Citation

We design, build, and evaluate interactive tools and techniques to address pressing societal challenges in accessibility, sustainability, education, and beyond.

Recent News

May 20, 2023

Allen School Drumheller Half Marathon

May 19, 2023

Jun and Liam Presented GazePointAR at UGrad Research Symposium

May 14, 2023

Xia Su Presented Project Sidewalk and RASSAR to the Igarashi Lab at UTokyo

Links