![](/img/cover-not-exists.png)
Tractability (Practical Approaches to Hard Problems) || SAT Solvers
Bordeaux, Lucas, Hamadi, Youssef, Kohli, Pushmeet, Mateescu, RobertVolume:
10.1017/CB
Year:
2013
Language:
english
DOI:
10.1017/CBO9781139177801.013
File:
PDF, 361 KB
english, 2013