Refining restarts strategies for SAT and UNSAT formulae

Type de document :
Communication dans un congrès
18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec City, Canada. 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00790508
Contributeur : Laurent Simon <>
Soumis le : mercredi 20 février 2013 - 13:46:56
Dernière modification le : jeudi 11 janvier 2018 - 06:22:37

Identifiants

  • HAL Id : hal-00790508, version 1

Collections

Citation

Gilles Audemard, Laurent Simon. Refining restarts strategies for SAT and UNSAT formulae. 18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec City, Canada. 2012. 〈hal-00790508〉

Partager

Métriques

Consultations de la notice

91