 | 2007 |
|---|
| 7 |       | Stuart Bain:
Time-Reversal in Conway's Life as SAT.
Australian Conference on Artificial Intelligence 2007: 614-618 |
| 6 | | Richard J. Wallace,
Stuart Bain:
Branching Rules for Satisfiability Analysed with Factor Analysis.
Australian Conference on Artificial Intelligence 2007: 803-809 |
| 2005 |
|---|
| 5 | | Stuart 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 |
| 4 | | Stuart 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 |
| 2 | | Stuart Bain,
John Thornton,
Abdul Sattar:
Methods of Automatic Algorithm Generation.
PRICAI 2004: 144-153 |
| 2002 |
|---|
| 1 | | John 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page