dblp.uni-trier.dewww.uni-trier.de

Valnir Ferreira Jr. Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2005
3EEValnir 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
1EEValnir Ferreira Jr., John Thornton: Longer-Term Memory in Clause Weighting Local Search for SAT. Australian Conference on Artificial Intelligence 2004: 730-741

Coauthor Index

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)