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