Jerusat
From MaRDI portal
Software:21464
swMATH9482MaRDI QIDQ21464FDOQ21464
Author name not available (Why is that?)
Cited In (7)
- A taxonomy of exact methods for partial Max-SAT
- Assignment Stack Shrinking
- Theory and Applications of Satisfiability Testing
- Some computational aspects of DISTANCE SAT
- Theory and Applications of Satisfiability Testing
- Theory and Applications of Satisfiability Testing
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
This page was built for software: Jerusat
