Sold Out
Book Categories |
Reduced Cost-Based Ranking for Generating Promising Subproblems | 1 | |
Integrating Constraint and Integer Programming for the Orthogonal Latin Squares Problem | 17 | |
On Optimal Correction of Inconsistent Linear Constraints | 33 | |
Temporal Planning through Mixed Integer Programming: A Preliminary Report | 47 | |
A New Multi-resource cumulatives Constraint with Negative Heights | 63 | |
On the Sum Constraint: Relaxation and Applications | 80 | |
Global Constraints for Lexicographic Orderings | 93 | |
A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations | 109 | |
Amplification of Search Performance through Randomization of Heuristics | 124 | |
Computing the Envelope for Stepwise-Constant Resource Allocations | 139 | |
Local Probing Applied to Scheduling | 155 | |
A Hybrid Approach for SAT | 172 | |
Recovering and Exploiting Structural Knowledge from CNF Formulas | 185 | |
Towards a Symmetric Treatment of Satisfaction and Conflicts in Quantified Boolean Formula Evaluation | 200 | |
Accelerating Random Walks | 216 | |
Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT | 233 | |
Learning and Solving Soft Temporal Constraints: An Experimental Study | 249 | |
Opportunistic Specialization in Russian Doll Search | 264 | |
Range-Based Algorithm for Max-CSP | 280 | |
Resolution Complexity of Random Constraints | 295 | |
Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics | 310 | |
Determining the Number of Solutions to Binary CSP Instances | 327 | |
Consistency Checking for Qualitative Spatial Reasoning with Cardinal Directions | 341 | |
Open Constraint Satisfaction | 356 | |
Beyond NP: Arc-Consistency for Quantified Constraints | 371 | |
Secure Distributed Constraint Satisfaction: Reaching Agreement without Revealing Private Information | 387 | |
A Dual Graph Translation of a Problem in 'Life' | 402 | |
Groups and Constraints: Symmetry Breaking during Search | 415 | |
Partial Symmetry Breaking | 431 | |
Symmetry Breaking Revisited | 446 | |
Breaking Row and Column Symmetries in Matrix Models | 462 | |
Solving the Kirkman's Schoolgirl Problem in a Few Seconds | 477 | |
Inferring Constraint Types in Constraint Programming | 492 | |
Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State | 508 | |
The Adaptive Constraint Engine | 525 | |
Indexical-Based Solver Learning | 541 | |
Learning the Empirical Hardness of Optimization Problems: The Case of Combinatorial Auctions | 556 | |
Restart Policies with Dependence among Runs: A Dynamic Programming Approach | 573 | |
Visopt ShopFloor: On the Edge of Planning and Scheduling | 587 | |
Constraint Programming Contribution to Benders Decomposition: A Case Study | 603 | |
Modeling Camera Control with Constrained Hypertubes | 618 | |
Robust and Parallel Solving of a Network Design Problem | 633 | |
Connections Reservation with Rerouting for ATM Networks: A Hybrid Approach with Constraints | 649 | |
Communication and Computation in Distributed CSP Algorithms | 664 | |
Continuous First-Order Constraint Satisfaction with Equality and Disequality Constraints | 680 | |
A Relaxation of the Cumulative Constraint | 686 | |
Improving GSAT Using 2SAT | 691 | |
A Relational Constraint Solver for Model-Based Engineering | 696 | |
Conflict-Based Repair Techniques for Solving Dynamic Scheduling Problems | 702 | |
Scaling Properties of Pure Random Walk on Random 3-SAT | 708 | |
Criticality and Parallelism in Structured SAT Instances | 714 | |
Characterizing SAT Problems with the Row Convexity Property | 720 | |
Interchangeability in Soft CSPs | 726 | |
On Constraint Problems with Incomplete or Erroneous Data | 732 | |
Heuristic Constraint Propagation | 738 | |
An Arc-Consistency Algorithm for the Minimum Weight All Different Constraint | 744 | |
Algebraic Properties of CSP Model Operators | 750 | |
AC-3[subscript d] an Efficient Arc-Consistency Algorithm with a Low Space-Complexity | 755 | |
Integrating Search Objects in Asynchronous Constraint Solving | 761 | |
Distributed Constraint-Based Railway Simulation | 762 | |
Symmetry Breaking in Peaceably Coexisting Armies of Queens | 763 | |
Batch Processing with Sequence Dependent Setup Times | 764 | |
Interactive Heuristic Search Algorithm | 765 | |
On Constraint Problems with Incomplete or Erroneous Data | 766 | |
Design of a New Metaheuristic for MAXSAT Problems | 767 | |
Disjunctive and Continuous Constraint Satisfaction Problems | 768 | |
Tuning Randomization in Backtrack Search SAT Algorithms | 769 | |
Constraint Solving in Test-Data Generation | 770 | |
Improving Cost Calculations for Global Constraints in Local Search | 772 | |
A Modeling Framework for Constraints | 773 | |
A Linear Programming Based Satisfiability Solver Using a New Horn-Driven Search Tree Design | 775 | |
A Concurrent Constraint Programming Approach for Trajectory Determination of Autonomous Vehicles | 777 | |
Using Constraint Propagation to Accelerate Column Generation in Aircraft Scheduling | 778 | |
Solving and Learning Soft Temporal Constraints; Ceteris Paribus Statements Represented as Soft Constraints Problems | 779 | |
A Partially Solved Form for Heterogeneous Constraints in Disjunctive Normal Form | 780 | |
Models of Injection Problems | 781 | |
Partial Symmetry Breaking | 782 | |
Automatic Generation of Implied Clauses for SAT | 783 | |
Bridging the Gap between SAT and CSP | 784 | |
Reducing Symmetry in Matrix Models | 786 | |
Studying Interchangeability in Constraint Satisfaction Problems | 787 | |
Constraint Modeling in the Context of Academic Task Assignment | 789 | |
Design Tradeoffs for Autonomous Trading Agents | 790 | |
Author Index | 793 |
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionPrinciples and Practice of Constraint Programming - CP 2002
X
This Item is in Your InventoryPrinciples and Practice of Constraint Programming - CP 2002
X
You must be logged in to review the productsX
X
X
Add Principles and Practice of Constraint Programming - CP 2002, , Principles and Practice of Constraint Programming - CP 2002 to the inventory that you are selling on WonderClubX
X
Add Principles and Practice of Constraint Programming - CP 2002, , Principles and Practice of Constraint Programming - CP 2002 to your collection on WonderClub |