Program Synthesis basée sur les contraintes

Algorithme DPLL

Davis-Putnam-Logemann-Loveland, algorithme fondamental pour la satisfaction de formules booléennes. Base de nombreux solveurs SAT modernes utilisés en synthèse de programmes.

← Retour