Search results for: Henry Kautz
IEEE Transactions on Big Data > 2017 > 3 > 1 > 55 - 66
Frontiers of Information Technology & Electronic Engineering > 2016 > 17 > 5 > 389-402
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2003 > Invited Papers > 1-18
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing > Preface > 226-240
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming – CP 2011 > Research Track Papers > 691-705
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Invited Papers > 2-2
Lecture Notes in Computer Science > UbiComp 2003: Ubiquitous Computing > Modeling and Inference > 73-89
Lecture Notes in Computer Science > Principles and Practice of Constraint Programming - CP 2002 > Technical Papers > 573-586