TitleExploiting Multivalued Knowledge in Variable Selection Heuristics for SAT Solvers
Publication TypeJournal Article
Year of Publication2007
AuthorsAnsótegui C, Larrubia J, Li CMin, Manyà F
JournalAnnals of Mathematics and Artificial Intelligence
Volume49
Number1-4
Pagination191-205