Principles and practice of constraint programming CP 99 : 5th international conference, CP'99, Alexandria,VA, USA, October 11-14, 1999 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Schriftenreihe: | Lecture notes in computer science
1713 |
| Schlagworte: | |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Principles and practice of Constraint Programming - CP'99, 5th international conference, CP'99, Alexandria,VA, USA, October 11-14, 1999, proceedings, Joxan Jaffar (Ed.), 1999, Berlin, Springer, 1 vol. (XII-491 p.), Lecture notes in computer science, 3-540-66626-5 • Principles and Practice of Constraint Programming - CP'99, Texte imprimé, 9783662209165 |
Inhaltsangabe:
- Invited Papers
- The Rough Guide to Constraint Propagation
- Non-binary Constraints
- The Theory of Discrete Lagrange Multipliers for Nonlinear Discrete Optimization
- Regular Papers
- Operational Equivalence of CHR Programs and Constraints
- Automatic Generation of Constraint Propagation Algorithms for Small Finite Domains
- Excluding Symmetries in Constraint-Based Search
- On Forward Checking for Non-binary Constraint Satisfaction
- Enforcing Arc Consistency on Global Constraints by Solving Subproblems on the Fly
- Exploiting Bipartiteness to Identify Yet Another Tractable Subclass of CSP
- Towards a Complete Classification of Tractability in Point Algebras for Nonlinear Time
- A Meta-Heuristic Factory for Vehicle Routing Problems
- Closure Functions and Width 1 Problems
- An Overview of HAL
- Cost-Based Domain Filtering
- Resource Allocation in Networks Using Abstraction and Constraint Satisfaction Techniques
- Optimal Distributed Arc-Consistency
- The Goldilocks Problem
- Multistep Filtering Operators for Ordinary Differential Equations
- A Framework for Constraint Programming Based Column Generation
- Improving a Heuristic Repair Method for Large-Scale School Timetabling Problems
- Applying Constraint Programming to Protein Structure Determination
- Partition-Based Lower Bound for Max-CSP
- Constraint Diagram Reasoning
- Automatic Generation of Music Programs
- Search Procedures and Parallelism in Constraint Programming
- Ensuring a Relevant Visiting Order of the Leaf Nodes during a Tree Search
- Tight Cooperation and Its Application in Piecewise Linear Optimization
- Arc Consistency for Global Cardinality Constraints with Costs
- The Brélaz Heuristic and Optimal Static Orderings
- A Fixpoint Definition of Dynamic Constraint Satisfaction
- Solving SatisfiabilityProblems on FPGAs Using Experimental Unit Propagation
- On the Behavior and Application of Constraint Weighting
- Simulated Annealing with Asymptotic Convergence for Nonlinear Constrained Global Optimization
- Poster Papers
- On SAT01 Problem
- An Interval Constraint Approach to Handle Parametric Ordinary Differential Equations for Decision Support
- CSPlib: A Benchmark Library for Constraints
- Validated Constraint Compilation
- Automated Theorem Proving with Disjunctive Constraints
- Rewriting Numeric Constraint Satisfaction Problems for Consistency Algorithms
- Intelligent Domain Splitting for CSPs with Ordered Domains
- Frequency Assignment for Cellular Mobile Systems Using Constraint Satisfaction Techniques.