Strong Refutation Heuristics for Random k-SAT
COJA-OGHLAN, AMIN, GOERDT, ANDREAS, LANKA, ANDRÉVolume:
16
Language:
english
Journal:
Combinatorics, Probability and Computing
DOI:
10.1017/s096354830600784x
Date:
January, 2007
File:
PDF, 234 KB
english, 2007