Une restriction de la résolution étendue pour les démonstrateurs SAT modernes

Type de document :
Communication dans un congrès
JFPC, Jun 2010, Orléans, France. 2010
Liste complète des métadonnées

https://hal.inria.fr/inria-00543640
Contributeur : Laurent Simon <>
Soumis le : lundi 6 décembre 2010 - 14:29:47
Dernière modification le : mardi 24 avril 2018 - 13:51:42

Identifiants

  • HAL Id : inria-00543640, version 1

Collections

Citation

Laurent Simon, Gilles Audemard, Katsirelos George. Une restriction de la résolution étendue pour les démonstrateurs SAT modernes. JFPC, Jun 2010, Orléans, France. 2010. 〈inria-00543640〉

Partager

Métriques

Consultations de la notice

191