Walsh, Toby.

Overview

Works:	4 works in 3 publications in 1 languages

Titles

Abstraction, reformulation, and approximation = 4th international symposium, SARA 2000, Horsehoe Bay, USA, July 26-29, 2000 : proceedings / by: Walsh, Toby.; SpringerLink (Online service); Choueiry, Berthe Y.; SARA 2000 ((2000 :) (Language materials, printed)

Principles and practice of constraint programming - CP2001 = 7th international conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001 : proceedings / by: Walsh, Toby.; SpringerLink (Online service); CP 2001 ((2001 :) (Language materials, printed)

Algorithmic decision theory = 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings / by: Walsh, Toby.; SpringerLink (Online service) (Electronic resources)

Theory and Applications of Satisfiability Testing = 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / by: Bacchus, Fahiem.; Walsh, Toby.; SpringerLink (Online service); SAT 2005 ((2005 :) (Language materials, printed)

A short introduction to preferences = between artificial intelligence and social choice / by: Rossi, Francesca, (1962-); Walsh, Toby.; Venable, Kristen Brent. (Electronic resources)

Theory and applications of satisfiability testing - SAT 2017 = 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings / by: Walsh, Toby.; SpringerLink (Online service); Gaspers, Serge.; SAT (Conference) (2017 :) (Electronic resources)

Handbook of constraint programming / by: Rossi, Francesca, (1962-.); Van Beek, Peter.; Walsh, Toby. (Language materials, printed)

Handbook of constraint programming by: Rossi, Francesca, (1962-); Van Beek, Peter.; Walsh, Toby.; ScienceDirect (Online service) (Language materials, printed)

Subjects

Propositional calculus Mathematical Logic and Formal Languages. Mathematical Logic and Foundations. Artificial intelligence Reasoning- Data processing. Theory of Computation. Software Engineering. Constraint programming (Computer science)- Congresses. Data mining Computer algorithms Computer algorithms- Congresses. Algorithm Analysis and Problem Complexity. Artificial Intelligence (incl. Robotics) Operating Systems. Information Systems Applications (incl. Internet) Programming Techniques. Decision making- Congresses. Constraint programming (Computer science). Numeric Computing. Decision making- Data processing. Computer science Social choice- Data processing. Computer Science. Preferences (Philosophy)- Data processing. Probability and Statistics in Computer Science. Computer Communication Networks. Computer software- Verification Computer Systems Organization and Communication Networks. Constraint programming (Computer science) Artificial intelligence. Decision making- Mathematical models Decision trees