A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints. - John Thornton 001; Stuart Bain; Abdul Sattar 001; Duc Nghia Pham (Australian Joint Conference on Artificial Intelligence, 2002)

Additive versus Multiplicative Clause Weighting for SAT. - John Thornton 001; Duc Nghia Pham; Stuart Bain; Valnir Ferreira Jr. (AAAI, 2004)

Evolving algorithms for constraint satisfaction. - Stuart Bain; John Thornton 001; Abdul Sattar 001 (IEEE Congress on Evolutionary Computation, 2004)

Methods of Automatic Algorithm Generation. - Stuart Bain; John Thornton 001; Abdul Sattar 001 (PRICAI, 2004)

A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics. - Stuart Bain; John Thornton 001; Abdul Sattar 001 (Australian Conference on Artificial Intelligence, 2005)

Evolving Variable-Ordering Heuristics for Constrained Optimisation. - Stuart Bain; John Thornton 001; Abdul Sattar 001 (CP, 2005)

Time-Reversal in Conway's Life as SAT. - Stuart Bain (Australian Conference on Artificial Intelligence, 2007)

Branching Rules for Satisfiability Analysed with Factor Analysis. - Richard J. Wallace; Stuart Bain (Australian Conference on Artificial Intelligence, 2007)