Additive versus Multiplicative Clause Weighting for SAT. - John Thornton 001; Duc Nghia Pham; Stuart Bain; Valnir Ferreira Jr. (AAAI, 2004)

Longer-Term Memory in Clause Weighting Local Search for SAT. - Valnir Ferreira Jr.; John Thornton 001 (Australian Conference on Artificial Intelligence, 2004)

Tie Breaking in Clause Weighting Local Search for SAT. - Valnir Ferreira Jr.; John Thornton 001 (Australian Conference on Artificial Intelligence, 2005)

Backbone Guided Dynamic Local Search for Propositional Satisfiability. - Valnir Ferreira Jr. (AI&M, 2006)