Improving a Probabilistic 3-SAT Algorithm by Dynamic Search and Independent Clause Pairs.

Sven Baumer Rainer Schuler Improving a Probabilistic 3-SAT Algorithm by Dynamic Search and Independent Clause Pairs. 150-161 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2919&spage=150 2003 conf/sat/2003 SAT db/conf/sat/sat2003.html#BaumerS03