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 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Josep Argelich, Alba Cabiscol, Inês Lynce (auth.), Hans Kleine Büning, Xishun Zhao (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
search