Homework 1 Discussion

Let's Build A Cryptarithm Solver

  • Classic CSP puzzle

  • DFS

  • Puzzle generation?

Let's Build A SAT Solver

  • DIMACS format

  • DPLL DFS

  • Stupidly slow because no care put into it

  • Can we make it faster?

  • C.f. Varisat

Last modified: Tuesday, 13 October 2020, 1:56 AM