The International SAT Solver Competition

Type de document :
Article dans une revue
Artificial Intelligence Magazine, Springer, 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00790513
Contributeur : Laurent Simon <>
Soumis le : mercredi 20 février 2013 - 13:52:58
Dernière modification le : jeudi 11 janvier 2018 - 06:20:11

Identifiants

  • HAL Id : hal-00790513, version 1

Collections

Citation

Matti Jarvisalo, Daniel Le Berre, Olivier Roussel, Laurent Simon. The International SAT Solver Competition. Artificial Intelligence Magazine, Springer, 2012. 〈hal-00790513〉

Partager

Métriques

Consultations de la notice

119