Principles and Practice of Constraint Programming - CP98 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings
Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplines and can be brought to bear on many problem domains. This volume contains papers dealing with all aspects of c- puting with constraints. In particular, there are several papers on a...
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1998, 1998
|
| Edition: | 1st ed. 1998 |
| Series: | Lecture Notes in Computer Science
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Optimal Placement of Base Stations in Wireless Indoor Telecommunication
- Invited Papers
- Open Constraint Programming
- Constructing Constraints
- The Dynamics of Dynamic Variable Ordering Heuristics
- Submitted Papers
- On Completion of Constraint Handling Rules
- Error-correcting Source Code
- Optimized Q-pivot for Exact Linear Solvers
- Constraint Techniques for Solving the Protein Structure Prediction Problem
- Global Constraints for Partial CSPs: A Case-Study of Resource and Due Date Constraints
- Using Graph Decomposition for Solving Continuous CSPs
- Anytime Lower Bounds for Constraint Violation Minimization Problems
- Introducing External Functions in Constraint Query Languages
- A Note on Partial Consistencies over Continuous Domains
- Consistency Techniques in Ordinary Differential Equations
- Early Projection in CLP(R)
- Suggestion Strategies for Constraint-Based Matchmaker Agents
- Compiling Semiring-based Constraints with clp(FD,S)
- Combining Topological and Qualitative Size Constraints for Spatial Reasoning
- Posters
- Generation of Test Patterns for Differential Diagnosis of Digital Circuits
- Combine & Conquer: Genetic Algorithm and CP for Optimization
- Some Experiments on Learning Soft Constraints
- Scheduling Multi-Capacitated Resources under Complex Temporal Constraints
- Implementing Global Constraints with Index-Sets and Constraint Templates
- Generating feasible schedules for a pick-up and delivery problem
- An Impartial Efficiency Comparison of FD Constraint Systems
- Optimizing with constraints: a case study in scheduling maintenance of electric power units
- Some Surprising Regularities in the Behaviour of Stochastic Local Search
- Modelling CSP Solution Algorithms with Petri Decision Nets
- A Framework for Assertion-based Debugging in Constraint Logic Programming
- Parallel Execution Models for Constraint Propagation
- Using Blocks for Constraint Satisfaction
- Adaptive Solving of Equations over Rational Trees
- Telecommunication Application
- Constraint Representation for Propagation
- A Unified Framework for Interval Constraints and Interval Arithmetic
- Constraint-based Problem Decomposition for a Key Configuration Problem
- Fuzzifying the Constraint Hierarchies Framework
- Constraints for Object Recognition in Aerial Images —Handling of Unobserved Features
- Salsa: A Language for Search Algorithms
- Random Constraint Satisfaction: theory meets practice
- A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications
- Safe Datalog Queries with Linear Constraints
- Non-systematic Search and Learning: An empirical study
- A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems
- Linear concurrent constraint programming over reals
- Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems
- APolynomial Time Local Propagation Algorithm for General Datafow Constraint Problems
- Stable Solutions for Dynamic Constraint Satisfaction Problems