Using Learnt Clauses in maxsat. Davies, J., Cho, J., & Bacchus, F. In 16th International Conference on Principles and Practice of Constraint Programming (CP-2010), pages 176-190, 2010.
Using Learnt Clauses in maxsat [pdf]Paper  Using Learnt Clauses in maxsat [link]Link  bibtex   

Downloads: 0