Solving MAXSAT by Solving a Sequence of Simpler SAT Instances. Davies, J. & Bacchus, F. In 17th International Conference on Principles and Practice of Constraint Programming (CP-2011), pages 225-239, 2011.
Solving MAXSAT by Solving a Sequence of Simpler SAT Instances [pdf]Paper  Solving MAXSAT by Solving a Sequence of Simpler SAT Instances [link]Link  bibtex   

Downloads: 0