Construction géométrique pour résoudre SAT en temps constant

Construction géométrique pour résoudre SAT en temps constant Construction géométrique pour résoudre SAT en temps constant Denys Duchier 1 , Jérôme Durand-Lose 2 , Maxime Senot 2 1 Contraintes et apprentissage 2 Graphes et algorithmes Laboratoire d'Informatique Fondamentale d'Orléans, Université d'Orléans, Orléans, FRANCE 22 Janvier 2010 JIRC 2009, Blois

• modèle de calcul et de coût usuel


• sat


• sat en temps constant


• laboratoire d'informatique fondamentale d'orléans


• formules propositionnelles


• construction géométrique


• formule ? du calcul propositionnel