Editors:
High quality selected papers
Unique visibility
State of the art research
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6384)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Conference series link(s): CSCLP: International Workshop on Constraint Solving and Constraint Logic Programming
Conference proceedings info: CSCLP 2009.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (9 papers)
-
Front Matter
-
Back Matter
About this book
Keywords
- CSP
- MAC-DBT
- computational logic
- constraint networks
- constraint satisfaction problems
- constraint-based scheduling
- dynamic code generation
- local consistency integration
- soft contraints
- static expansion
- symbolic computing
- algorithm analysis and problem complexity
Editors and Affiliations
-
Department of Software, Technical University of Catalonia, Barcelona, Spain
Javier Larrosa
-
Cork Constraint Computation Centre, University College Cork, Cork, Ireland
Barry O’Sullivan
Bibliographic Information
Book Title: Recent Advances in Constraints
Book Subtitle: 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
Editors: Javier Larrosa, Barry O’Sullivan
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-19486-3
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Berlin Heidelberg 2011
Softcover ISBN: 978-3-642-19485-6Published: 16 March 2011
eBook ISBN: 978-3-642-19486-3Published: 11 March 2011
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VII, 155
Topics: Artificial Intelligence, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Compilers and Interpreters, Symbolic and Algebraic Manipulation, Algorithms