Toby Walsh

No biography available.

Works (7)

Cover of Theory and applications of satisfiability testing

Theory and applications of satisfiability testing

Cover of Theory and Applications of Satisfiability Testing – SAT 2017

Theory and Applications of Satisfiability Testing – SAT 2017

Cover of Algorithmic Decision Theory

Algorithmic Decision Theory

Cover of Sat2000

Cover of SAT 2005

Cover of Handbook of constraint programming

Handbook of constraint programming

Cover of Principles and Practice of Constraint Programming - CP 2001

Principles and Practice of Constraint Programming - CP 2001