A Stochastic Non-CNF SAT Solver.

Rafiq Muhammad, Peter J. Stuckey

Browse the full PRICAI paper archive.