![](/img/cover-not-exists.png)
Resolution versus Search: Two Strategies for SAT
Irina Rish, Rina DechterVolume:
24
Language:
english
Pages:
51
DOI:
10.1023/a:1006303512524
Date:
February, 2000
File:
PDF, 413 KB
english, 2000