Jerusat
From MaRDI portal
Cited in
(11)- Theory and Applications of Satisfiability Testing
- A taxonomy of exact methods for partial Max-SAT
- Some computational aspects of DISTANCE SAT
- Galileo
- QingTing1
- BerkMin
- Eureka
- Assignment stack shrinking
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
This page was built for software: Jerusat
