Walsh, Toby.

概要

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

書目資訊

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

SAT 2005 :Satisfiability Research in the Year 2005 / by: Giunchiglia, Enrico.; Walsh, Toby. (書目-電子資源)

Principles and practice of constraint programming - CP20017th international conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001 : proceedings / by: (1998 :); SpringerLink (Online service); Walsh, Toby. (書目-電子資源)

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

Theory and Applications of Satisfiability Testing8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings / by: (1998 :); Bacchus, Fahiem.; SpringerLink (Online service); Walsh, Toby. (書目-電子資源)

Abstraction, reformulation, and approximation4th international symposium, SARA 2000, Horsehoe Bay, USA, July 26-29, 2000 : proceedings / by: (1998 :); Choueiry, Berthe Y.; SpringerLink (Online service); Walsh, Toby. (書目-電子資源)

Handbook of constraint programming by: Rossi, Francesca, (1962-); ScienceDirect (Online service); Van Beek, Peter.; Walsh, Toby. (書目-電子資源)

Theory and applications of satisfiability testing - SAT 201720th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017 : proceedings / by: (1998 :); Gaspers, Serge.; SpringerLink (Online service); Walsh, Toby. (書目-電子資源)

主題