Chu Min Li, Felip Manyà, Nouredine Ould Mohamedou, Jordi Planes. Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation. In Peter J. Stuckey, editor, Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings. Volume 5202 of Lecture Notes in Computer Science, pages 582-587, Springer, 2008. [doi]
Abstract is missing.