Multiple Contraction through Partial-Max-SAT

Éric Grégoire, Jean-Marie Lagniez, Bertrand Mazure. Multiple Contraction through Partial-Max-SAT. In 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014. pages 321-327, IEEE Computer Society, 2014. [doi]

Abstract

Abstract is missing.