On improving MUS extraction algorithms
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 5510691 (Why is no real title available?)
- A Scalable Algorithm for Minimal Unsatisfiable Core Extraction
- Algorithms for computing minimal unsatisfiable subsets of constraints
- Finding Guaranteed MUSes Fast
- Generalizing Core-Guided Max-SAT
- Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets
- Local-search extraction of mUSes
- Locating Minimal Infeasible Constraint Sets in Linear Programs
- On exact selection of minimally unsatisfiable subformulae
- Redundancy in logic. I: CNF propositional formulae
- Searching for Autarkies to Trim Unsatisfiable Clause Sets
- Using heuristics to find minimal unsatisfiable subformulas in satisfiability problems
- Using local search to find MSSes and MUSes
Cited in
(31)- Parallel MUS extraction
- Algorithms for computing minimal equivalent subformulas
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- On exact selection of minimally unsatisfiable subformulae
- A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas
- Minimal sets on propositional formulae. Problems and reductions
- Accelerated deletion-based extraction of minimal unsatisfiable cores
- A Scalable Algorithm for Minimal Unsatisfiable Core Extraction
- Minimally unsatisfiable Boolean circuits
- Efficient combination of decision procedures for MUS computation
- On efficient computation of variable MUSes
- On computing preferred MUSes and MCSes
- Factoring Out Assumptions to Speed Up MUS Extraction
- Algorithms for computing minimal unsatisfiable subsets of constraints
- Hashing-based approximate counting of minimal unsatisfiable subsets
- On getting rid of the preprocessing minimization step in MUC-finding algorithms
- Assessing progress in SAT solvers through the Lens of incremental SAT
- SAT-based rigorous explanations for decision lists
- Speeding up MUS extraction with preprocessing and chunking
- FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets
- Towards efficient MUS extraction
- Formula preprocessing in MUS extraction
- Towards backbone computing: a greedy-whitening based approach
- Improving Glucose for incremental SAT solving with assumptions: application to MUS extraction
- MUSer2: an efficient MUS extractor
- Local-search extraction of mUSes
- MUPS identification based on discrimination rules
- SAT-based explicit LTL reasoning and its application to satisfiability checking
- Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API
- Restoring CSP satisfiability with MaxSAT
This page was built for publication: On improving MUS extraction algorithms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3007681)