Complete unrestricted backtracking algorithms for satisfiabilityStochastic systematic search algorithms for satisfiability
