FEEDBACK Smiley face
Normal view MARC view ISBD view

Principles and Practice of Constraint Programming – CP’99 [electronic resource] :5th International Conference, CP’99, Alexandria, VA, USA, October 11-14, 1999. Proceedings /

Contributor(s): Jaffar, Joxan [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Lecture Notes in Computer Science: 1713Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.Description: XII, 504 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540480853.Subject(s): Computer science | Software engineering | Computer programming | Programming languages (Electronic computers) | Computer logic | Artificial intelligence | Computer Science | Software Engineering/Programming and Operating Systems | Programming Techniques | Programming Languages, Compilers, Interpreters | Artificial Intelligence (incl. Robotics) | Logics and Meanings of ProgramsOnline resources: Click here to access online
Contents:
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.
In: Springer eBooks
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

There are no comments for this item.

Log in to your account to post a comment.

© IIIT-Delhi, 2013 | Phone: +91-11-26907510| FAX +91-11-26907405 | E-mail: library@iiitd.ac.in