![](/img/cover-not-exists.png)
On the power of clause-learning SAT solvers as resolution engines
Knot Pipatsrisawat, Adnan DarwicheVolume:
175
Year:
2011
Language:
english
Pages:
14
DOI:
10.1016/j.artint.2010.10.002
File:
PDF, 238 KB
english, 2011