Recent Advances in Constraints 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers - Larrosa, Javier; O$1 (BSullivan, Barry.s; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Computer software; Logic design; Algebra -- Data processing; Artificial intelligence; Computer Science; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Symbolic and Algebraic Manipulation; Algorithm Analysis and Problem Complexity