Toby Walsh
Art Institute of Portland(US)UNSW Sydney(AU)CSIRO Land and Water(AU)
Publications by Year
Research Areas
Constraint Satisfaction and Optimization, Game Theory and Voting Systems, Auction Theory and Applications, Logic, Reasoning, and Knowledge, Data Management and Algorithms
Most-Cited Works
- Proceedings of the 16th international joint conference on Artificial Intelligence - IJCAI '99(1999)
- Handbook of Satisfiability(2021)
- → A theory of abstraction(1992)336 cited
- Handbook of Constraint Programming (Foundations of Artificial Intelligence)(2006)
- SATLIB: An Online Resource for Research on SAT(2000)
- → Justified representation in approval-based committee voting(2017)250 cited
- → CSPlib: A Benchmark Library for Constraints(1999)244 cited
- Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications(2009)
- → SAT v CSP(2000)230 cited
- Search in a Small World