Principles and Practice of Constraint Programming - CP 2009 15th International Conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 Proceedings - Gent, Ian P.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Software engineering; Logic design; Computer Science; Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Computational Science and Engineering; Logics and Meanings of Programs; Mathematical Logic and Formal Languages