Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sébastien Tabary. Solving WCSP by Extraction of Minimal Unsatisfiable Cores. In 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013. pages 915-922, IEEE, 2013. [doi]
Abstract is missing.