内容

目次

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.- 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.- A Polynomial Time Local Propagation Algorithm for General Datafow Constraint Problems.- Stable Solutions for Dynamic Constraint Satisfaction Problems.- 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.- Optimal Placement of Base Stations in Wireless Indoor Telecommunication.