Constraint-based Program Synthesis

DPLL Algorithm

Davis-Putnam-Logemann-Loveland, fundamental algorithm for boolean formula satisfiability. Basis of many modern SAT solvers used in program synthesis.

← Back