"Improving a Probabilistic 3-SAT Algorithm by Dynamic Search and ..."

Sven Baumer, Rainer Schuler (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics