MUSer2: an efficient MUS extractor
From MaRDI portal
Publication:3194802
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
- Supercharging plant configurations using Z3
- Theory and Applications of Satisfiability Testing
- Condorcet's principle and the preference reversal paradox
- ASP and subset minimality: enumeration, cautious reasoning and MUSes
- Finding a collection of MUSes incrementally
- Finding boundary elements in ordered sets with application to safety and requirements analysis
- 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
- On getting rid of the preprocessing minimization step in MUC-finding algorithms
- Definability for model counting
- Optimal bounds for the no-show paradox via SAT solving
- Speeding up MUS extraction with preprocessing and chunking
- Mining backbone literals in incremental SAT. A new kind of incremental data
- FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets
- On improving MUS extraction algorithms
- Towards efficient MUS extraction
- Formula preprocessing in MUS extraction
- Local-search extraction of mUSes
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)
