![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Frontiers of Combining Systems Volume 9322 || An Expressive Model for Instance Decomposition Based Parallel SAT Solvers
Lutz, Carsten, Ranise, SilvioVolume:
10.1007/97
Year:
2015
Language:
english
DOI:
10.1007/978-3-319-24246-0_7
File:
PDF, 293 KB
english, 2015