Using Randomization and Learning to Solve Hard Real-World Instances of Satisfiability. - Luís Baptista; João Marques-Silva 001 (CP, 2000)

Towards Provably Complete Stochastic Search Algorithms for Satisfiability. - Inês Lynce; Luís Baptista; João Marques-Silva 001 (EPIA, 2001)

Stochastic Systematic Search Algorithms for Satisfiability. - Inês Lynce; Luís Baptista; João Marques-Silva 001 (Electron. Notes Discret. Math., 2001)