Publications by Tero Laitinen

2012

  • BOOKTITLE:
  • Principles and Practice of Constraint Programming - CP 2012
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 7514
  • PAGES:
  • 357--372
  • [URL]
  • [PUBURL]
  • BOOKTITLE:
  • Theory and Applications of Satisfiability Testing - SAT 2012
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 7317
  • PAGES:
  • 383--396
  • [URL]
  • [PUBURL]
  • BOOKTITLE:
  • ICTAI 2012 - 24th IEEE International Conference on Tools with Artificial Intelligence
  • [PUBURL]

2011

  • BOOKTITLE:
  • ICTAI 2011 - 23rd IEEE International Conference on Tools with Artificial Intelligence
  • PAGES:
  • 649-658
  • [PUBURL]

2010

  • BOOKTITLE:
  • ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings
  • SERIES:
  • Frontiers in Artificial Intelligence and Applications
  • VOLUME:
  • 215
  • PAGES:
  • 21-26
  • [URL]
  • [PUBURL]