MUSer2: an efficient MUS extractor
From MaRDI portal
Publication:3194802
zbMATH Open1322.68178MaRDI QIDQ3194802FDOQ3194802
Authors: Anton Belov, Joao Marques-Silva 
Publication date: 20 October 2015
Recommendations
Cited In (26)
- Parallel MUS extraction
- On computing minimal independent support and its applications to sampling and counting
- Counting minimal unsatisfiable subsets
- Fast, flexible MUS enumeration
- Theory and Applications of Satisfiability Testing
- Supercharging plant configurations using Z3
- Condorcet's principle and the preference reversal paradox
- ASP and subset minimality: enumeration, cautious reasoning and MUSes
- Finding boundary elements in ordered sets with application to safety and requirements analysis
- Finding a collection of MUSes incrementally
- Accelerated deletion-based extraction of minimal unsatisfiable cores
- Efficient combination of decision procedures for MUS computation
- On computing preferred MUSes and MCSes
- A new approach to partial MUS enumeration
- MUSer2
- Hashing-based approximate counting of minimal unsatisfiable subsets
- Definability for model counting
- On getting rid of the preprocessing minimization step in MUC-finding algorithms
- Optimal bounds for the no-show paradox via SAT solving
- FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets
- Speeding up MUS extraction with preprocessing and chunking
- Mining backbone literals in incremental SAT. A new kind of incremental data
- On improving MUS extraction algorithms
- Formula preprocessing in MUS extraction
- Towards efficient MUS extraction
- Local-search extraction of mUSes
Uses Software
This page was built for publication: MUSer2: an efficient MUS extractor
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3194802)
