Towards Provably Complete Stochastic Search Algorithms for Satisfiability.

Ins Lynce, Lus Baptista, Joo Marques-Silva

Browse the full EPIA paper archive.