Smallest MUS Extraction with Minimal Hitting Set Dualization.

Alexey Ignatiev, Alessandro Previti, Mark H. Liffiton, Joo Marques-Silva

Browse the full CP paper archive.