( en | de | ru )

 

Disambiguation of "Walsh, Toby"

Author of the publication

copydeleteadd this publication to your clipboard
Handbook of Satisfiability

, , , and (Eds.) Frontiers in Artificial Intelligence and Applications IOS Press, (2009)

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.

Mark Walsh

Gordon Toby

Samuel Toby

Toby Bloom

Gianfranco Walsh

 

Other publications of authors with the same name

A Calculus for and Termination of Rippling., and . J. Autom. Reason., 16 (1-2): 147-180 (1996)It's alive : wie künstliche Intelligenz unser Leben verändern wird. Edition Körber, 1 edition, (September 2018)Where Are the Hard Manipulation Problems?. J. Artif. Intell. Res., (2011)Scenario-based Stochastic Constraint Programming, , and . CoRR, (2009)Online Cake Cutting (published version). CoRR, (2011)Adaptive signal-vehicle cooperative controlling system., , and . ITSC, page 236-241. IEEE, (2011)Symmetry within and between Solutions.. PRICAI, volume 6230 of Lecture Notes in Computer Science, page 11-13. Springer, (2010)Symmetry Breaking.. Australian Conference on Artificial Intelligence, volume 4304 of Lecture Notes in Computer Science, page 7-8. Springer, (2006)Complexity Issues in Preference Elicitation and Manipulation.. ISAIM, (2008)Solving Non-clausal Formulas with DPLL search., , and . SAT, (2004)