Solving WCSP by Extraction of Minimal Unsatisfiable Cores.

Christophe Lecoutre, Nicolas Paris, Olivier Roussel, Sbastien Tabary

Browse the full ICTAI paper archive.