Search the dblp DataBase

Publications of Author

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