Toby Walsh

Journal of Artificial Intelligence Research

2008

Machines Behaving Badly

2022

SAT 2005

2014

Faking It

2023

Theory and applications of satisfiability testing

2005

Principles and Practice of Constraint Programming - CP 2001

2003

Machines that think

2018

Handbook of constraint programming

2007

Algorithmic Decision Theory

2015

Using Uncertainty Within Computation

2001

Theory and Applications of Satisfiability Testing – SAT 2017

2017

Shortest History of AI

2025

Sat2000

2000

Proceedings of the Twenty-First International Conference on Artificial Intelligence Conference (IJCAI-11)

2011

Proceedings of the Twenty-First International Conference on Artificial Intelligence Conference CD-ROM (IJCAI-11)

2011

Probabilistic Approaches in Search

2002

It's Alive!

2017

Handbook of Satisfiability

2009