Principles and Practice of Constraint Programming - CP 2002

8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings

AvPascal Van Hentenryck

Häftad, Engelska, 2002

Del i serien Lecture Notes in Computer Science

1 136 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, NY, USA in September 2002.The 38 revised full papers and 6 innovative application papers as well as the 14 short papers presented toghether with 25 abstracts from contributions to the doctoral program were carefully reviewed and selected from 146 submissions. All current issues in constraint processing are addressed, ranging from theoretical and foundational issues to application in various fields.

Produktinformation

Utgivningsdatum:2002-08-26
Mått:155 x 235 x undefined mm
Vikt:1 229 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:794
Upplaga:2002
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540441205

Utforska kategorier

Programmeringsböcker inom Data och IT

Innehållsförteckning

Technical Papers.- Reduced Cost-Based Ranking for Generating Promising Subproblems.- Integrating Constraint and Integer Programming for the Orthogonal Latin Squares Problem.- On Optimal Correction of Inconsistent Linear Constraints.- Temporal Planning through Mixed Integer Programming: A Preliminary Report.- A New Multi-resource cumulatives Constraint with Negative Heights.- On the Sum Constraint: Relaxation and Applications.- Global Constraints for Lexicographic Orderings.- A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations.- Amplification of Search Performance through Randomization of Heuristics.- Computing the Envelope for Stepwise-Constant Resource Allocations.- Local Probing Applied to Scheduling.- A Hybrid Approach for SAT.- Recovering and Exploiting Structural Knowledge from CNF Formulas.- Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation.- Accelerating Random Walks.- Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT.- Learning and Solving Soft Temporal Constraints: An Experimental Study.- Opportunistic Specialization in Russian Doll Search.- Range-Based Algorithm for Max-CSP.- Resolution Complexity of Random Constraints.- Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics.- Determining the Number of Solutions to Binary CSP Instances.- Consistency Checking for Qualitative Spatial Reasoning with Cardinal Directions.- Open Constraint Satisfaction.- Beyond NP: Arc-Consistency for Quantified Constraints.- Secure Distributed Constraint Satisfaction: Reaching Agreement without Revealing Private Information.- A Dual Graph Translation of a Problem in ‘Life’.- Groups and Constraints: Symmetry Breaking during Search.- Partial SymmetryBreaking.- Symmetry Breaking Revisited.- Breaking Row and Column Symmetries in Matrix Models.- Solving the Kirkman’s Schoolgirl Problem in a Few Seconds.- Inferring Constraint Types in Constraint Programming.- Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State.- The Adaptive Constraint Engine.- Indexical-Based Solver Learning.- Learning the Empirical Hardness of Optimization Problems: The Case of Combinatorial Auctions.- Restart Policies with Dependence among Runs: A Dynamic Programming Approach.- Innovative Application.- Visopt ShopFloor: On the Edge of Planning and Scheduling.- Constraint Programming Contribution to Benders Decomposition: A Case Study.- Modeling Camera Control with Constrained Hypertubes.- Robust and Parallel Solving of a Network Design Problem.- Connections Reservation with Rerouting for ATM Networks: A Hybrid Approach with Constraints.- Communication and Computation in Distributed CSP Algorithms.- Posters.- Continuous First-Order Constraint Satisfaction with Equality and Disequality Constraints.- A Relaxation of the Cumulative Constraint.- Improving GSAT Using 2SAT.- A Relational Constraint Solver for Model-Based Engineering.- Conflict-Based Repair Techniques for Solving Dynamic Scheduling Problems.- Scaling Properties of Pure Random Walk on Random 3-SAT.- Criticality and Parallelism in Structured SAT Instances.- Characterizing SAT Problems with the Row Convexity Property.- Interchangeability in Soft CSPs.- On Constraint Problems with Incomplete or Erroneous Data.- Heuristic Constraint Propagation.- An Arc-Consistency Algorithm for the Minimum Weight All Different Constraint.- Algebraic Properties of CSP Model Operators.- AC-3d an Efficient Arc-Consistency Algorithm with a Low Space-Complexity.- DoctoralProgram.- Integrating Search Objects in Asynchronous Constraint Solving.- Distributed Constraint-Based Railway Simulation.- Symmetry Breaking in Peaceably Coexisting Armies of Queens.- Batch Processing with Sequence Dependent Setup Times.- Interactive Heuristic Search Algorithm.- On Constraint Problems with Incomplete or Erroneous Data.- Design of a New Metaheuristic for MAXSAT Problems.- Disjunctive and Continuous Constraint Satisfaction Problems.- Tuning Randomization in Backtrack Search SAT Algorithms.- Constraint Solving in Test-Data Generation.- Improving Cost Calculations for Global Constraints in Local Search.- A Modeling Framework for Constraints.- A Linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design.- A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles.- Using Constraint Propagation to Accelerate Column Generation in Aircraft Scheduling.- Solving and Learning Soft Temporal Constraints; Ceteris Paribus Statements Represented as Soft Constraints Problems.- A Partially Solved Form for Heterogeneous Constraints in Disjunctive Normal Form.- Models of Injection Problems.- Partial Symmetry Breaking.- Automatic Generation of Implied Clauses for SAT.- Bridging the Gap between SAT and CSP.- Reducing Symmetry in Matrix Models.- Studying Interchangeability in Constraint Satisfaction Problems.- Constraint Modeling in the Context of Academic Task Assignment.- Design Tradeoffs for Autonomous Trading Agents.

Mer från samma författare

Logic Programming

Pascal Van Hentenryck

Häftad, 1994

1 186 kr

Del 45

Hybrid Optimization

Pascal van Hentenryck, Michela Milano

Inbunden, 2010

1 653 kr

Hybrid Optimization

Michela Milano, Pascal van Hentenryck

E-bok

2010

2 065 kr

Del 45

Hybrid Optimization

Pascal van Hentenryck, Michela Milano

Häftad, 2012

1 653 kr

Differential Privacy in Artificial Intelligence

Ferdinando Fioretto, Pascal Van Hentenryck

Inbunden, 2025

1 436 kr

Practical Aspects of Declarative Languages

Pascal van Hentenryck

Häftad, 2005

572 kr

Practical Aspects of Declarative Languages

Pascal van Hentenryck

E-bok

2005

739 kr

Principles and Practice of Constraint Programming - CP 2002

Pascal Van Hentenryck

E-bok

2003

1 470 kr

Static Analysis

Pascal van Hentenryck

Häftad, 1997

572 kr

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Pascal Van Hentenryck, Laurence Wolsey

Häftad, 2007

572 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

556 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Principles and Practice of Constraint Programming - CP 2002

Pascal Van Hentenryck

E-bok

2003

1 470 kr

Logic Programming

Pascal Van Hentenryck

Häftad, 1994

1 186 kr

Differential Privacy in Artificial Intelligence

Ferdinando Fioretto, Pascal Van Hentenryck

Inbunden, 2025

1 436 kr

Numerica

Pascal Van Hentenryck, Laurent Michel, Yves Deville

Häftad, 1997

82 kr

Online Stochastic Combinatorial Optimization

Pascal Van Hentenryck, Russell Bent

Häftad, 2009

241 kr

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Pascal Van Hentenryck, Laurence Wolsey

Häftad, 2007

572 kr

Del 45

Hybrid Optimization

Pascal van Hentenryck, Michela Milano

Inbunden, 2010

1 653 kr

Static Analysis

Pascal van Hentenryck

Häftad, 1997

572 kr

Practical Aspects of Declarative Languages

Pascal van Hentenryck

E-bok

2005

739 kr

Principles and Practice of Constraint Programming - CP 2002

8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings

AvPascal Van Hentenryck

Häftad, Engelska, 2002

Del i serien Lecture Notes in Computer Science

1 136 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

Produktinformation

Utgivningsdatum:2002-08-26
Mått:155 x 235 x undefined mm
Vikt:1 229 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:794
Upplaga:2002
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540441205

Utforska kategorier

Programmeringsböcker inom Data och IT

Innehållsförteckning

Technical Papers.- Reduced Cost-Based Ranking for Generating Promising Subproblems.- Integrating Constraint and Integer Programming for the Orthogonal Latin Squares Problem.- On Optimal Correction of Inconsistent Linear Constraints.- Temporal Planning through Mixed Integer Programming: A Preliminary Report.- A New Multi-resource cumulatives Constraint with Negative Heights.- On the Sum Constraint: Relaxation and Applications.- Global Constraints for Lexicographic Orderings.- A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations.- Amplification of Search Performance through Randomization of Heuristics.- Computing the Envelope for Stepwise-Constant Resource Allocations.- Local Probing Applied to Scheduling.- A Hybrid Approach for SAT.- Recovering and Exploiting Structural Knowledge from CNF Formulas.- Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation.- Accelerating Random Walks.- Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT.- Learning and Solving Soft Temporal Constraints: An Experimental Study.- Opportunistic Specialization in Russian Doll Search.- Range-Based Algorithm for Max-CSP.- Resolution Complexity of Random Constraints.- Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics.- Determining the Number of Solutions to Binary CSP Instances.- Consistency Checking for Qualitative Spatial Reasoning with Cardinal Directions.- Open Constraint Satisfaction.- Beyond NP: Arc-Consistency for Quantified Constraints.- Secure Distributed Constraint Satisfaction: Reaching Agreement without Revealing Private Information.- A Dual Graph Translation of a Problem in ‘Life’.- Groups and Constraints: Symmetry Breaking during Search.- Partial SymmetryBreaking.- Symmetry Breaking Revisited.- Breaking Row and Column Symmetries in Matrix Models.- Solving the Kirkman’s Schoolgirl Problem in a Few Seconds.- Inferring Constraint Types in Constraint Programming.- Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State.- The Adaptive Constraint Engine.- Indexical-Based Solver Learning.- Learning the Empirical Hardness of Optimization Problems: The Case of Combinatorial Auctions.- Restart Policies with Dependence among Runs: A Dynamic Programming Approach.- Innovative Application.- Visopt ShopFloor: On the Edge of Planning and Scheduling.- Constraint Programming Contribution to Benders Decomposition: A Case Study.- Modeling Camera Control with Constrained Hypertubes.- Robust and Parallel Solving of a Network Design Problem.- Connections Reservation with Rerouting for ATM Networks: A Hybrid Approach with Constraints.- Communication and Computation in Distributed CSP Algorithms.- Posters.- Continuous First-Order Constraint Satisfaction with Equality and Disequality Constraints.- A Relaxation of the Cumulative Constraint.- Improving GSAT Using 2SAT.- A Relational Constraint Solver for Model-Based Engineering.- Conflict-Based Repair Techniques for Solving Dynamic Scheduling Problems.- Scaling Properties of Pure Random Walk on Random 3-SAT.- Criticality and Parallelism in Structured SAT Instances.- Characterizing SAT Problems with the Row Convexity Property.- Interchangeability in Soft CSPs.- On Constraint Problems with Incomplete or Erroneous Data.- Heuristic Constraint Propagation.- An Arc-Consistency Algorithm for the Minimum Weight All Different Constraint.- Algebraic Properties of CSP Model Operators.- AC-3d an Efficient Arc-Consistency Algorithm with a Low Space-Complexity.- DoctoralProgram.- Integrating Search Objects in Asynchronous Constraint Solving.- Distributed Constraint-Based Railway Simulation.- Symmetry Breaking in Peaceably Coexisting Armies of Queens.- Batch Processing with Sequence Dependent Setup Times.- Interactive Heuristic Search Algorithm.- On Constraint Problems with Incomplete or Erroneous Data.- Design of a New Metaheuristic for MAXSAT Problems.- Disjunctive and Continuous Constraint Satisfaction Problems.- Tuning Randomization in Backtrack Search SAT Algorithms.- Constraint Solving in Test-Data Generation.- Improving Cost Calculations for Global Constraints in Local Search.- A Modeling Framework for Constraints.- A Linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design.- A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles.- Using Constraint Propagation to Accelerate Column Generation in Aircraft Scheduling.- Solving and Learning Soft Temporal Constraints; Ceteris Paribus Statements Represented as Soft Constraints Problems.- A Partially Solved Form for Heterogeneous Constraints in Disjunctive Normal Form.- Models of Injection Problems.- Partial Symmetry Breaking.- Automatic Generation of Implied Clauses for SAT.- Bridging the Gap between SAT and CSP.- Reducing Symmetry in Matrix Models.- Studying Interchangeability in Constraint Satisfaction Problems.- Constraint Modeling in the Context of Academic Task Assignment.- Design Tradeoffs for Autonomous Trading Agents.

Mer från samma författare

Logic Programming

Pascal Van Hentenryck

Häftad, 1994

1 186 kr

Del 45

Hybrid Optimization

Pascal van Hentenryck, Michela Milano

Inbunden, 2010

1 653 kr

Hybrid Optimization

Michela Milano, Pascal van Hentenryck

E-bok

2010

2 065 kr

Del 45

Hybrid Optimization

Pascal van Hentenryck, Michela Milano

Häftad, 2012

1 653 kr

Differential Privacy in Artificial Intelligence

Ferdinando Fioretto, Pascal Van Hentenryck

Inbunden, 2025

1 436 kr

Practical Aspects of Declarative Languages

Pascal van Hentenryck

Häftad, 2005

572 kr

Practical Aspects of Declarative Languages

Pascal van Hentenryck

E-bok

2005

739 kr

Principles and Practice of Constraint Programming - CP 2002

Pascal Van Hentenryck

E-bok

2003

1 470 kr

Static Analysis

Pascal van Hentenryck

Häftad, 1997

572 kr

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Pascal Van Hentenryck, Laurence Wolsey

Häftad, 2007

572 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

556 kr

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

933 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

572 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

842 kr

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 022 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

572 kr

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 024 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

932 kr

Nyhet

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

730 kr