Nonchronological Backtracking in Stochastic Boolean Satisfiability.

Stephen M. Majercik

Browse the full ICTAI paper archive.