MUSer2
From MaRDI portal
Cited in
(20)- QRATPre+
- Reveal
- MARCO
- Optimal bounds for the no-show paradox via SAT solving
- Supercharging plant configurations using Z3
- Definability for model counting
- JViews
- On computing minimal independent support and its applications to sampling and counting
- Fast, flexible MUS enumeration
- BEACON
- Speeding up MUS extraction with preprocessing and chunking
- Mining backbone literals in incremental SAT. A new kind of incremental data
- A new approach to partial MUS enumeration
- EL2MCS
- QUICKXPLAIN
- Finding boundary elements in ordered sets with application to safety and requirements analysis
- Evaluation of domain agnostic approaches for enumeration of minimal unsatisfiable subsets
- Parallel MUS extraction
- Counting minimal unsatisfiable subsets
- On getting rid of the preprocessing minimization step in MUC-finding algorithms
This page was built for software: MUSer2
