2007 |
7 | EE | Stuart Bain:
Time-Reversal in Conway's Life as SAT.
Australian Conference on Artificial Intelligence 2007: 614-618 |
6 | EE | Richard J. Wallace,
Stuart Bain:
Branching Rules for Satisfiability Analysed with Factor Analysis.
Australian Conference on Artificial Intelligence 2007: 803-809 |
2005 |
5 | EE | 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 | EE | 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 | EE | Stuart Bain,
John Thornton,
Abdul Sattar:
Methods of Automatic Algorithm Generation.
PRICAI 2004: 144-153 |
2002 |
1 | EE | 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 |