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 / Brahim Hnich [and others](eds.).
Material type:
TextSeries: Lecture notes in computer science ; 3978. | Lecture notes in computer science. Lecture notes in artificial intelligence.Publication details: Berlin ; New York : Springer, ©2006.Description: 1 online resource (viii, 178 pages) : illustrationsContent type: - text
- computer
- online resource
- 9783540342168
- 3540342168
- 354034215X
- 9783540342151
- CSCLP 2005
- Constraint programming (Computer science) -- Congresses
- Logic programming -- Congresses
- Programmation logique -- Congrès
- Programmation par contraintes -- Congrès
- COMPUTERS -- Programming -- Open Source
- COMPUTERS -- Software Development & Engineering -- Tools
- COMPUTERS -- Software Development & Engineering -- General
- Informatique
- Constraint programming (Computer science)
- Logic programming
- Constraint solving
- Constraints
- CSCLP
- ERCIM
- CoLogNet
- algoritmen
- algorithms
- computeranalyse
- computer analysis
- wiskunde
- mathematics
- computertechnieken
- computer techniques
- computerwetenschappen
- computer sciences
- kunstmatige intelligentie
- artificial intelligence
- logica
- logic
- numerieke methoden
- numerical methods
- programmeertalen
- programming languages
- Information and Communication Technology (General)
- Informatie- en communicatietechnologie (algemeen)
- 005.115 22
- 005.116 22
- QA76.612 .J65 2005
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
Includes bibliographical references and index.
Print version record.
Global Constraints -- The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables -- Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains -- Among, Common and Disjoint Constraints -- Search and Heuristics -- Partitioning Based Algorithms for Some Colouring Problems -- A CSP Search Algorithm with Reduced Branching Factor -- Analysis of Heuristic Synergies -- Complexity Analysis of Heuristic CSP Search Algorithms -- Language and Implementation Issues -- A Type System for CHR -- Views and Iterators for Generic Constraint Implementations -- Modeling -- A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse -- The Challenge of Exploiting Weak Symmetries -- On Generators of Random Quasigroup Problems.
Available to OhioLINK libraries.
English.