( en | de | ru )

 

Disambiguation of "Parkes, Andrew J."

Author of the publication

copydeleteadd this publication to your clipboard
Satisfiability Algorithms and Finite Quantification.

, and . KR, page 690-701. Morgan Kaufmann, (2000)

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.

Andrew J Atkins

J Andrew Doole

Andrew J White

Roderick Parkes

Andrew Huvos

 

Other publications of authors with the same name

Easy Predictions for the Easy-Hard-Easy Transition.. AAAI/IAAI, page 688-694. AAAI Press / The MIT Press, (2002)Worldwide Aeronautical Route Planner., , , and . AAAI/IAAI, page 916-917. AAAI Press / The MIT Press, (1999)Algorithm Configuration: Learning Policies for the Quick Termination of Poor Performers., , and . LION, volume 11353 of Lecture Notes in Computer Science, page 220-224. Springer, (2018)The Teaching Space Allocation Problem with Splitting., , , , , and . PATAT, volume 3867 of Lecture Notes in Computer Science, page 228-247. Springer, (2006)Hyperion2: a toolkit for meta-, hyper- heuristic research., , , and . GECCO (Companion), page 1133-1140. ACM, (2014)Generalizing Boolean Satisfiability III: Implementation., , , , and . J. Artif. Intell. Res., (2005)Mapping the performance of heuristics for Constraint Satisfaction., , , and . IEEE Congress on Evolutionary Computation, page 1-8. IEEE, (2010)Semidefinite Programming in Timetabling and Mutual-Exclusion Scheduling., and . CoRR, (2019)Exploring the landscape of the space of heuristics for local search in SAT., and . CEC, page 2518-2525. IEEE, (2017)Tuning Local Search for Satisfiability Testing., and . AAAI/IAAI, Vol. 1, page 356-362. AAAI Press / The MIT Press, (1996)