14 papers:
SAT-2015-ArifMM #axiom #performance- Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (MFA, CM, JMS), pp. 324–342.
- SAT-2015-BalabanovI #preprocessor
- Speeding up MUS Extraction with Preprocessing and Chunking (VB, AI), pp. 17–32.
- SAT-2015-Zielke0 #approach
- A New Approach to Partial MUS Enumeration (CZ, MK), pp. 387–404.
- SAT-2014-BelovHM #proving #using
- MUS Extraction Using Clausal Proofs (AB, MH, JMS), pp. 48–57.
TACAS-2013-BelovJM #preprocessor- Formula Preprocessing in MUS Extraction (AB, MJ, JMS), pp. 108–123.
- SAT-2013-AudemardLS #incremental #satisfiability
- Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction (GA, JML, LS), pp. 309–317.
- SAT-2013-BelovMM #parallel
- Parallel MUS Extraction (AB, NM, JMS), pp. 133–149.
- SAT-2013-DellertZK #interactive #named
- MUStICCa: MUS Extraction with Interactive Choice of Candidates (JD, CZ, MK), pp. 408–414.
- SAT-2013-LagniezB
- Factoring Out Assumptions to Speed Up MUS Extraction (JML, AB), pp. 276–292.
SAC-2011-KusamaI #music #named #user interface- MusCat: a music browser featuring abstract pictures and zooming user interface (KK, TI), pp. 1222–1228.
- SAT-2011-SilvaL #algorithm #on the
- On Improving MUS Extraction Algorithms (JPMS, IL), pp. 159–173.
CADE-2009-GregoireMP #question #set- Does This Set of Clauses Overlap with at Least One MUS? (ÉG, BM, CP), pp. 100–115.
ICSE-2004-PrietoA #formal method #multi #named #requirements #specification- chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications (ABBM, JJPA), pp. 72–74.
RE-2002-Garcia-DuquePB #requirements #specification #using- An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology (JGD, JJPA, ABBM), pp. 282–288.
