MUSer2: an efficient MUS extractor
From MaRDI portal
Publication:3194802
Recommendations
Cited in
(26)- Towards efficient MUS extraction
- Fast, flexible MUS enumeration
- Counting minimal unsatisfiable subsets
- Supercharging plant configurations using Z3
- Definability for model counting
- On getting rid of the preprocessing minimization step in MUC-finding algorithms
- Condorcet's principle and the preference reversal paradox
- Parallel MUS extraction
- On computing preferred MUSes and MCSes
- ASP and subset minimality: enumeration, cautious reasoning and MUSes
- Optimal bounds for the no-show paradox via SAT solving
- MUSer2
- Accelerated deletion-based extraction of minimal unsatisfiable cores
- Local-search extraction of mUSes
- On improving MUS extraction algorithms
- Finding boundary elements in ordered sets with application to safety and requirements analysis
- FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets
- Efficient combination of decision procedures for MUS computation
- A new approach to partial MUS enumeration
- Finding a collection of MUSes incrementally
- Speeding up MUS extraction with preprocessing and chunking
- Mining backbone literals in incremental SAT. A new kind of incremental data
- On computing minimal independent support and its applications to sampling and counting
- Hashing-based approximate counting of minimal unsatisfiable subsets
- Theory and Applications of Satisfiability Testing
- Formula preprocessing in MUS extraction
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)