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

Stuart Bain Vis

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

*2007
7EEStuart Bain: Time-Reversal in Conway's Life as SAT. Australian Conference on Artificial Intelligence 2007: 614-618
6EERichard J. Wallace, Stuart Bain: Branching Rules for Satisfiability Analysed with Factor Analysis. Australian Conference on Artificial Intelligence 2007: 803-809
2005
5EEStuart Bain, John Thornton, Abdul Sattar: A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics. Australian Conference on Artificial Intelligence 2005: 1068-1074
4EEStuart Bain, John Thornton, Abdul Sattar: Evolving Variable-Ordering Heuristics for Constrained Optimisation. CP 2005: 732-736
2004
3 John Thornton, Duc Nghia Pham, Stuart Bain, Valnir Ferreira Jr.: Additive versus Multiplicative Clause Weighting for SAT. AAAI 2004: 191-196
2EEStuart Bain, John Thornton, Abdul Sattar: Methods of Automatic Algorithm Generation. PRICAI 2004: 144-153
2002
1EEJohn Thornton, Stuart Bain, Abdul Sattar, Duc Nghia Pham: A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. Australian Joint Conference on Artificial Intelligence 2002: 603-614

Coauthor Index

1Valnir Ferreira Jr. [3]
2Duc Nghia Pham [1] [3]
3Abdul Sattar [1] [2] [4] [5]
4John Thornton [1] [2] [3] [4] [5]
5Richard J. Wallace [6]

Colors in the list of coauthors

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