Recognizing more random unsatisfiable 3-SAT instances efficiently
Andreas Goerdt, André LankaVolume:
16
Year:
2003
Language:
english
Pages:
26
DOI:
10.1016/s1571-0653(04)00461-5
File:
PDF, 229 KB
english, 2003