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 : mardi 24 avril 2018 - 13:38:29

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

152