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