Valnir Ferreira Jr.

	2006
4		Valnir Ferreira Jr.: Backbone Guided Dynamic Local Search for Propositional Satisfiability. ISAIM 2006
	2005
3		Valnir Ferreira Jr., John Thornton: Tie Breaking in Clause Weighting Local Search for SAT. Australian Conference on Artificial Intelligence 2005: 70-81
	2004
2		John Thornton, Duc Nghia Pham, Stuart Bain, Valnir Ferreira Jr.: Additive versus Multiplicative Clause Weighting for SAT. AAAI 2004: 191-196
1		Valnir Ferreira Jr., John Thornton: Longer-Term Memory in Clause Weighting Local Search for SAT. Australian Conference on Artificial Intelligence 2004: 730-741

Coauthor Index

1	Stuart Bain	[2]
2	Duc Nghia Pham	[2]
3	John Thornton	[1] [2] [3]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page