Seguir
Valnir Ferreira Jr
Valnir Ferreira Jr
Griffith University
Dirección de correo verificada de riotinto.com
Título
Citado por
Citado por
Año
Additive versus multiplicative clause weighting for SAT
J Thornton, DN Pham, S Bain, V Ferreira Jr
AAAI 4, 191-196, 2004
1642004
Tie breaking in clause weighting local search for SAT
V Ferreira, J Thornton
AI 2005: Advances in Artificial Intelligence: 18th Australian Joint …, 2005
52005
Longer-term memory in clause weighting local search for SAT
V Ferreira Jr, 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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–5