swMATH4452MaRDI QIDQ16628FDOQ16628
Author name not available (Why is that?)
Official website: http://www.springerlink.com/content/0y7dyq67521369y4/fulltext.pdf
Cited In (7)
- The state of SAT
- A taxonomy of exact methods for partial Max-SAT
- Theory and Applications of Satisfiability Testing
- On SAT instance classes and a method for reliable performance experiments with SAT solvers
- Jerusat
- A switching criterion for intensification and diversification in local search for SAT
- Ten challenges \textit{redux}: recent progress in propositional reasoning and search
This page was built for software: QingTing1
