Jerusat
From MaRDI portal
Software:21464
No author found.
Related Items (7)
Theory and Applications of Satisfiability Testing ⋮ Theory and Applications of Satisfiability Testing ⋮ Some computational aspects of DISTANCE SAT ⋮ A taxonomy of exact methods for partial Max-SAT ⋮ Theory and Applications of Satisfiability Testing ⋮ Assignment Stack Shrinking ⋮ \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
This page was built for software: Jerusat
