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
Ré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 |