Conference Proceedings

A stochastic non-CNF SAT solver

Rafiq Muhammad, Peter J Stuckey, Q Yang, G Webb

PRICAI 2006: Trends in Artificial Intelligence | SPRINGER-VERLAG BERLIN | Published : 2006