QingTing1
From MaRDI portal
Cited in
(8)- The state of SAT
- A taxonomy of exact methods for partial Max-SAT
- On SAT instance classes and a method for reliable performance experiments with SAT solvers
- A switching criterion for intensification and diversification in local search for SAT
- Ten challenges \textit{redux}: recent progress in propositional reasoning and search
- UnitWalk
- Jerusat
- Theory and Applications of Satisfiability Testing
This page was built for software: QingTing1
