Follow
Valnir Ferreira Jr
Valnir Ferreira Jr
Griffith University
Verified email at riotinto.com
Title
Cited by
Cited by
Year
Additive versus multiplicative clause weighting for SAT
J Thornton, DN Pham, S Bain, V Ferreira Jr
AAAI 4, 191-196, 2004
1562004
Tie breaking in clause weighting local search for SAT
V Ferreira, J Thornton
Australasian Joint Conference on Artificial Intelligence, 70-81, 2005
42005
Longer-term memory in clause weighting local search for SAT
V Ferreira, J Thornton
Australasian Joint Conference on Artificial Intelligence, 730-741, 2004
42004
Backbone Guided Dynamic Local Search for Propositional Satisfiability.
V Ferreira Jr
AI&M, 2006
22006
Improvements to Clause Weighting Local Search for Propositional Satisfiability
V Ferreira Jr
Griffith University, Australia, 2006
2006
Tie Breaking in Clause Weighting Local
V Ferreira Jr, J Thornton
AI...: Advances in Artificial Intelligence... Australian Joint Conference on …, 2005
2005
The system can't perform the operation now. Try again later.
Articles 1–6