Stuart Bain

According to our database, Stuart Bain authored at least 8 papers between 2002 and 2007.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2007

Branching Rules for Satisfiability Analysed with Factor Analysis.

Richard J. Wallace, Stuart Bain

Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

Time-Reversal in Conway's <i>Life</i> as SAT.

Stuart Bain

Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

2005

Evolving Variable-Ordering Heuristics for Constrained Optimisation.

Stuart Bain, John Thornton, Abdul Sattar

Proceedings of the Principles and Practice of Constraint Programming, 2005

A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics.

Stuart Bain, John Thornton, Abdul Sattar

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

2004

Methods of Automatic Algorithm Generation.

Stuart Bain, John Thornton, Abdul Sattar

Proceedings of the PRICAI 2004: Trends in Artificial Intelligence, 2004

Evolving algorithms for constraint satisfaction.

Stuart Bain, John Thornton, Abdul Sattar

Proceedings of the IEEE Congress on Evolutionary Computation, 2004

Additive versus Multiplicative Clause Weighting for SAT.

John Thornton, Duc Nghia Pham, Stuart Bain, Valnir Ferreira Jr.

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2002

A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints.

John Thornton, Stuart Bain, Abdul Sattar, Duc Nghia Pham

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002