1 results
13 - Tractability and Modern Satisfiability Modulo Theories Solvers
- from Part 5 - Heuristics
-
-
- Book:
- Tractability
- Published online:
- 05 February 2014
- Print publication:
- 06 February 2014, pp 350-377
-
- Chapter
- Export citation