TitleNew Inference Rules for Max-SAT
Publication TypeJournal Article
Year of Publication2007
AuthorsLi CMin, Manyà F, Planes J
JournalJournal of Artificial Intelligence Research
Volume30
Pagination321-359