@inproceedings{ec77501b3eaa455d8f9d12c59f2f4cb9,
title = "Generalizing core-guided Max-SAT",
author = "Liffiton, {Mark H.} and Sakallah, {Karem A.}",
year = "2009",
doi = "10.1007/978-3-642-02777-2_44",
language = "English",
isbn = "3642027768",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "481--494",
booktitle = "Theory and Applications of Satisfiability Testing - SAT 2009 - 12th International Conference, SAT 2009, Proceedings",
note = "12th International Conference on Theory and Applications of Satisfiability Testing, SAT 2009 ; Conference date: 30-06-2009 Through 03-07-2009",
}