TítuloExploiting 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
Número1-4
Paginación191-205