Valnir Ferreira Jr

2004200520062007200820092010201120122013201420152016201720182019202020212022202320243 11 15 12 6 2 5 12 19 13 22 5 10 7 2 3 5 10 4 6 1

Valnir Ferreira Jr

Griffith University

Geverifieerd e-mailadres voor riotinto.com


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
Additive versus multiplicative clause weighting for SAT J Thornton, DN Pham, S Bain, V Ferreira Jr AAAI 4, 191-196, 2004	164	2004
Tie breaking in clause weighting local search for SAT V Ferreira, J Thornton AI 2005: Advances in Artificial Intelligence: 18th Australian Joint …, 2005	5	2005
Longer-term memory in clause weighting local search for SAT V Ferreira Jr, J Thornton Australasian Joint Conference on Artificial Intelligence, 730-741, 2004	4	2004
Backbone Guided Dynamic Local Search for Propositional Satisfiability. V Ferreira Jr AI&M, 2006	2	2006
Improvements to Clause Weighting Local Search for Propositional Satisfiability V Ferreira Jr Griffith University, Australia, 2006		2006

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–5

Citaties per jaar