Skip to main content
  • Conference proceedings
  • © 2011

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

  • 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

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (9 papers)

  1. Front Matter

  2. Solving Weighted Argumentation Frameworks with Soft Constraints

    • Stefano Bistarelli, Daniele Pirolandi, Francesco Santini
    Pages 1-18
  3. Connecting BnB-ADOPT with Soft Arc Consistency: Initial Results

    • Patricia Gutierrez, Pedro Meseguer
    Pages 19-37
  4. A Resource Cost Aware Cumulative

    • Helmut Simonis, Tarik Hadzic
    Pages 76-89
  5. Integrating Strong Local Consistencies into Constraint Solvers

    • Julien Vion, Thierry Petit, Narendra Jussien
    Pages 90-104
  6. MAC-DBT Revisited

    • Roie Zivan, Uri Shapen, Moshe Zazone, Amnon Meisels
    Pages 139-153
  7. Back Matter

Other Volumes

  1. Recent Advances in Constraints

About this book

This book constitutes the thoroughly refereed post-proceedings of the 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, held in Barcelona, Spain, in June 2009. The 9 revised full papers presented were carefully reviewed and selected for inclusion in this post-proceedings. The papers in this volume present original research results and applications of constraint solving and constraint logic programming in several domains. Among the issues addressed are solving argumentation frameworks, software consistency, modeling languages, static design routing, dynamic constraint satisfaction, and constraint-based modeling.

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

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions