Skip to main content
SpringerLink
Log in
Book cover

Recent Advances in Constraints

Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Brahim Hnich

    1. Faculty of Computer Science, Izmir University of Economics, Turkey

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mats Carlsson

    1. SICS, Kista, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. François Fages

    1. Projet Contraintes, INRIA Rocquencourt,, Le Chesnay Cedex, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Francesca Rossi

    1. Dipartimento di Matematica Pura ed Applicata, Università di Padova, Padova, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 3978)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: CSCLP 2005.

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (12 papers)

  1. Front Matter

    Download chapter PDF

  2. Global Constraints

    1. The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables

      • Claude-Guy Quimper, Toby Walsh
      Pages 1-13

    2. Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains

      • Thom Frühwirth
      Pages 14-28

    3. Among, Common and Disjoint Constraints

      • Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh
      Pages 29-43

  3. Search and Heuristics

    1. Partitioning Based Algorithms for Some Colouring Problems

      • Ola Angelsmark, Johan Thapper
      Pages 44-58

    2. A CSP Search Algorithm with Reduced Branching Factor

      • Igor Razgon, Amnon Meisels
      Pages 59-72

    3. Analysis of Heuristic Synergies

      • Richard J. Wallace
      Pages 73-87

    4. Complexity Analysis of Heuristic CSP Search Algorithms

      • Igor Razgon
      Pages 88-99

  4. Language and Implementation Issues

    1. A Type System for CHR

      • Emmanuel Coquery, François Fages
      Pages 100-117

    2. Views and Iterators for Generic Constraint Implementations

      • Christian Schulte, Guido Tack
      Pages 118-132

  6. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Recent Advances in Constraints

Keywords

Editors and Affiliations

  • Faculty of Computer Science, Izmir University of Economics, Turkey

    Brahim Hnich

  • SICS, Kista, Sweden

    Mats Carlsson

  • Projet Contraintes, INRIA Rocquencourt,, Le Chesnay Cedex, France

    François Fages

  • Dipartimento di Matematica Pura ed Applicata, Università di Padova, Padova, Italy

    Francesca Rossi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation