Exploiting multivalued knowledge in variable selection heuristics for SAT solvers
Loading...
Date
2007
Authors
Ansótegui Gil, Carlos José
Larrubia, Jose
Li, Chu-Min
Manyà Serres, Felip
Other authors
Impact
Export
Share
Journal Title
Journal ISSN
Volume Title
Related resource
Citation
Journal or Serie
Annals of Mathematics and Artificial Intelligence, 2007, vol. 49, núm. 1, p. 191-205