sharpSAT
From MaRDI portal
SharpSAT
Cited in
(53)- Dsharp
- GANAK
- SBSAT
- Improving MCS enumeration via caching
- Model counting with error-correcting codes
- Not all FPRASs are equal: demystifying FPRASs for DNF-counting
- Optimal symmetry breaking for graph problems
- CPGraph
- RunLim
- FORCE
- dynASP
- Definability for model counting
- The geometry of gaussoids
- Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
- On preprocessing techniques and their impact on propositional model counting
- AMUSE
- MUSer2
- MathCheck
- Lynx
- Taming high treewidth with abstraction, nested dynamic programming, and database technology
- Solving projected model counting by utilizing treewidth and its limits
- Lower bounds on the degree of block ciphers
- Parameterized compilation lower bounds for restricted CNF-formulas
- Computing maximum unavoidable subgraphs using SAT solvers
- Coprocessor
- BEACON
- Sudoku colorings of a 16-cell pre-fractal
- PLASMA
- MayBMS
- SageSAT
- FeatureIDE
- htd
- Shatter
- Computing scores of forwarding schemes in switched networks with probabilistic faults
- Approximate model counting via extension rule
- Laissez-faire caching for parallel \#SAT solving
- Constructing SAT filters with a quantum annealer
- \(\#{\exists}\mathrm{SAT}\): projected model counting
- MathCheck: a math assistant via a combination of computer algebra systems and SAT solvers
- A finite state intersection approach to propositional satisfiability
- Feasibility analysis for robustness quantification by symbolic model checking
- FatTire
- Weighted model counting on the GPU by exploiting small treewidth
- A study of symmetry breaking predicates and model counting
- Two approximate algorithms for model counting
- Dualization of Boolean functions using ternary decision diagrams
- Hailfinder
- Variable and clause ordering in an FSA approach to propositional satisfiability
- countAntom
- Construction methods for gaussoids.
- Lifted Reasoning for Combinatorial Counting
- Quantifying software reliability via model-counting
- Counting minimal unsatisfiable subsets
This page was built for software: sharpSAT
