Enumerating Infeasibility: Finding Multiple MUSes Quickly.

Mark H. Liffiton, Ammar Malik

Browse the full CPAIOR paper archive.