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...

Full description

Bibliographic Details
Other Authors: Maher, Michael (Editor), Puget, Jean-Francois (Editor)
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 1998, 1998
Edition:1st ed. 1998
Series:Lecture Notes in Computer Science
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