Home Advanced Search

Advanced Search - Page 1

Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

PDF
English
Year: 2005
Author: Josep Argelich, Felip Manyà (auth.), Fahiem Bacchus, Toby Walsh (eds.)

Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

PDF
English
Year: 2005
Author: Fahiem Bacchus, Toby Walsh

Principles and Practice of Constraint Programming – CP 2007: 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings

PDF
English
Year: 2007
Author: Fahiem Bacchus (auth.), Christian Bessière (eds.)

Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

PDF
English
Year: 2005
Author: Carlos Ansótegui, Felip Manyà (auth.), Holger H. Hoos, David G. Mitchell (eds.)

Theory and Applications of Satisfiability Testing – SAT 2021

PDF
English
Year: 2021
Author: Chu-Min Li, Felip Manyà

Algorithmic Decision Theory: 4th International Conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, Proceedings

PDF
English
Year: 2015
Author: Toby Walsh (eds.)

Principles and Practice of Constraint Programming — CP 2001: 7th International Conference, CP 2001 Paphos, Cyprus, November 26 – December 1, 2001 Proceedings

PDF
English
Year: 2001
Author: Andrew Eremin, Mark Wallace (auth.), Toby Walsh (eds.)

Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings

PDF
English
Year: 2000
Author: Patrick Cousot (auth.), Berthe Y. Choueiry, Toby Walsh (eds.)

It’s Alive! Artificial Intelligence from the Logic Piano to Killer Robots

EPUB
English
Year: 2017
Author: Toby Walsh

To żyje! Sztuczna inteligencja. Od logicznego fortepianu po zabójcze roboty

PDF
Polish
Year: 2018
Author: Walsh Toby