( en | de | ru )

 

Disambiguation of "Bain, Stuart"

Author of the publication

copydeleteadd this publication to your clipboard
Branching Rules for Satisfiability Analysed with Factor Analysis.

, and . Australian Conference on Artificial Intelligence, volume 4830 of Lecture Notes in Computer Science, page 803-809. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Amine Baïna

Aleksander Bain

Douglas Bain

Agnes Bain Stiven

Kristina Bain-Bold

 

Other publications of authors with the same name

Methods of Automatic Algorithm Generation., , and . PRICAI, volume 3157 of Lecture Notes in Computer Science, page 144-153. Springer, (2004)A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics., , and . Australian Conference on Artificial Intelligence, volume 3809 of Lecture Notes in Computer Science, page 1068-1074. Springer, (2005)Branching Rules for Satisfiability Analysed with Factor Analysis., and . Australian Conference on Artificial Intelligence, volume 4830 of Lecture Notes in Computer Science, page 803-809. Springer, (2007)Evolving algorithms for constraint satisfaction., , and . IEEE Congress on Evolutionary Computation, page 265-272. IEEE, (2004)A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints., , , and . Australian Joint Conference on Artificial Intelligence, volume 2557 of Lecture Notes in Computer Science, page 603-614. Springer, (2002)Additive versus Multiplicative Clause Weighting for SAT., , , and . AAAI, page 191-196. AAAI Press / The MIT Press, (2004)Time-Reversal in Conway's Life as SAT.. Australian Conference on Artificial Intelligence, volume 4830 of Lecture Notes in Computer Science, page 614-618. Springer, (2007)Evolving Variable-Ordering Heuristics for Constrained Optimisation., , and . CP, volume 3709 of Lecture Notes in Computer Science, page 732-736. Springer, (2005)