Valnir Ferreira Jr.

	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]