par Lafitte, Frédéric
;Nakahara Jr., Jorge;Van Heule, Dirk
Référence Journal of Satisfiability, Boolean Modeling and Computation, 9, 1, page (1-25)
Publication Publié, 2014
;Nakahara Jr., Jorge;Van Heule, DirkRéférence Journal of Satisfiability, Boolean Modeling and Computation, 9, 1, page (1-25)
Publication Publié, 2014
Article révisé par les pairs
| Titre: |
|
| Auteur: | Lafitte, Frédéric; Nakahara Jr., Jorge; Van Heule, Dirk |
| Informations sur la publication: | Journal of Satisfiability, Boolean Modeling and Computation, 9, 1, page (1-25) |
| Statut de publication: | Publié, 2014 |
| Sujet CREF: | Informatique mathématique |
| Langue: | Anglais |
| Identificateurs: | urn:issn:1574-0617 |



