Démos de l'algorithme Davis-Putnam-Longemann-Loveland
Executez l'algorithme DPLL
Choisissez l'ensemble de clauses
tiré au hasard
Fichier exoTD4-1.cnf
Fichier exoTD4-2.cnf
Fichier hole6.cnf
Fichier quinn.cnf
Fichier simple_v3_c2.cnf
Fichier zebra_v155_c1135.cnf
Rapport MOMS/DLIS
0.7/0.3
1/0
0.9/0.1
0.8/0.2
0.6/0.4
0.5/0.5
0.4/0.6
0.3/0.7
0.2/0.8
0.1/0.9
0/1