Constraint-based Program Synthesis

SAT Solver

Algorithm that determines whether a propositional boolean formula has a variable assignment that makes it true. Fundamental for solving decision problems in program synthesis.

← Zurück