Walsh, Toby.

概要

作品:	4 作品在 3 項出版品 1 種語言

書目資訊

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 :) (書目-語言資料,印刷品)

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 :) (書目-語言資料,印刷品)

Algorithmic decision theory = 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings / by: Walsh, Toby.; SpringerLink (Online service) (書目-電子資源)

A short introduction to preferences = between artificial intelligence and social choice / by: Walsh, Toby.; Rossi, Francesca, (1962-); Venable, Kristen Brent. (書目-電子資源)

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 :) (書目-語言資料,印刷品)

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); SAT (Conference) (2017 :); Gaspers, Serge. (書目-電子資源)

Handbook of constraint programming / by: Rossi, Francesca, (1962-.); Van Beek, Peter.; Walsh, Toby. (書目-語言資料,印刷品)

Handbook of constraint programming by: Van Beek, Peter.; Walsh, Toby.; ScienceDirect (Online service); Rossi, Francesca, (1962-) (書目-語言資料,印刷品)

主題