Principles and Practice of Constraint Programming - CP'99 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Jaffar, Joxan (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Έκδοση: 1st ed. 1999.
• Σειρά: Lecture Notes in Computer Science, 1713
• Θέματα: Software engineering.; Computer programming.; Programming languages (Electronic computers).; Artificial intelligence.; Computer logic.; Software Engineering/Programming and Operating Systems.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Artificial Intelligence.; Logics and Meanings of Programs.

Πίνακας περιεχομένων:

• 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 Satisfiability Problems 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.