Generalizing Core-Guided Max-SAT. Liffiton, M. H. & Sakallah, K. A. In Twelfth International Conference on Theory and Applications of Satisfiability Testing (SAT 09), volume LNCS 5584, pages 481-494, Swansea, UK , 2009.
bibtex   
@inproceedings{liffiton2009generalizing,
   author = {Liffiton, Mark H. and Sakallah, Karem A.},
   title = {{Generalizing Core-Guided Max-SAT}},
   booktitle = {Twelfth International Conference on Theory and Applications of Satisfiability Testing (SAT 09)},
   address = {Swansea, UK },
   volume = {LNCS 5584},
   pages = {481-494},
   year = {2009}
}

Downloads: 0