Parallelizing Partial MUS Enumeration.

Wenting Zhao, Mark H. Liffiton

Browse the full ICTAI paper archive.