TitleOptimizing with minimum satisfiability
Publication TypeJournal Article
Year of Publication2012
AuthorsLi CMin, Zhu Z, Manyà F, Simon L
JournalArtificial intelligence
Volume190
Pagination32-44