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]
No references recorded for this publication.
No citations of this publication recorded.