Toby Walsh

· 26 obras en el catálogo

Obras

Handbook of constraint programming

Theory and applications of satisfiability testing

SAT 2005

MMachines that think

Machines that think

Handbook of constraint programming

Algorithmic Decision Theory

Theory and Applications of Satisfiability Testing – SAT 2017

Sat2000

22062

2062

UUsing Uncertainty Within Computation

Using Uncertainty Within Computation

PProbabilistic Approaches in Search

Probabilistic Approaches in Search

JJournal of Artificial Intelligence Research

Journal of Artificial Intelligence Research

PProceedings of the Twenty-First International Conference on

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

PProceedings of the Twenty-First International Conference on

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

AI for Everyone

2062 - Yapay Zeka Dünyasi

Machines Behaving Badly

AAbstraction, Reformulation, and Approximation

Abstraction, Reformulation, and Approximation

AAndroid Dreams

Android Dreams

IIt's Alive!

It's Alive!

FFaking It

Faking It

SShortest History of AI

Shortest History of AI

HHandbook of Satisfiability

Handbook of Satisfiability

MMachines That Think

Machines That Think