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