QingTing1
From MaRDI portal
Software:16628
swMATH4452MaRDI QIDQ16628FDOQ16628
Author name not available (Why is that?)
Cited In (6)
- 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
- 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
