BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
extract (8)
formula (2)
speed (2)
improv (2)
preprocess (2)

Stem mus$ (all stems)

14 papers:

ICSTSAT-2015-ArifMM #axiom #performance
Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (MFA, CM, JMS), pp. 324–342.
ICSTSAT-2015-BalabanovI #preprocessor
Speeding up MUS Extraction with Preprocessing and Chunking (VB, AI), pp. 17–32.
ICSTSAT-2015-Zielke0 #approach
A New Approach to Partial MUS Enumeration (CZ, MK), pp. 387–404.
ICSTSAT-2014-BelovHM #proving #using
MUS Extraction Using Clausal Proofs (AB, MH, JMS), pp. 48–57.
TACASTACAS-2013-BelovJM #preprocessor
Formula Preprocessing in MUS Extraction (AB, MJ, JMS), pp. 108–123.
ICSTSAT-2013-AudemardLS #incremental #satisfiability
Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction (GA, JML, LS), pp. 309–317.
ICSTSAT-2013-BelovMM #parallel
Parallel MUS Extraction (AB, NM, JMS), pp. 133–149.
ICSTSAT-2013-DellertZK #interactive #named
MUStICCa: MUS Extraction with Interactive Choice of Candidates (JD, CZ, MK), pp. 408–414.
Factoring Out Assumptions to Speed Up MUS Extraction (JML, AB), pp. 276–292.
SACSAC-2011-KusamaI #music #named #user interface
MusCat: a music browser featuring abstract pictures and zooming user interface (KK, TI), pp. 1222–1228.
ICSTSAT-2011-SilvaL #algorithm #on the
On Improving MUS Extraction Algorithms (JPMS, IL), pp. 159–173.
CADECADE-2009-GregoireMP #question #set
Does This Set of Clauses Overlap with at Least One MUS? (ÉG, BM, CP), pp. 100–115.
ICSEICSE-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.
RERE-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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.