Fast, flexible MUS enumeration

Mark H. Liffiton, Alessandro Previti, Ammar Malik, Joao Marques-Silva. Fast, flexible MUS enumeration. Constraints, 21(2):223-250, 2016. [doi]

Abstract

Abstract is missing.