Sold Out
Book Categories |
On Confluence of Constraint Handling Rules | 1 | |
A Labelling Arc Consistency Method for Functional Constraints | 16 | |
Constraint Satisfaction in Optical Routing for Passive Wavelength-Routed Networks | 31 | |
Using CSP Look-Back Techniques to Solve Exceptionally Hard SAT Instances | 46 | |
MAC and Combined Heuristics: Two Reasons to Forsake FC (and CBJ?) on Hard Problems | 61 | |
The Independence Property of a Class of Set Constraints | 76 | |
Speeding Up Constraint Propagation by Redundant Modeling | 91 | |
A Constraint-Based Interactive Train Rescheduling Tool | 104 | |
Local Search and the Number of Solutions | 119 | |
Derivation of Constraints and Database Relations | 134 | |
Constraint Programming: An Efficient and Practical Approach to Solving the Job-Shop Problem | 149 | |
An Instance of Adaptive Constraint Propagation | 164 | |
An Empirical Study of Dynamic Variable Ordering Heuristics for the Constraint Satisfaction Problem | 179 | |
Empirical Studies of Heuristic Local Search for Constraint Solving | 194 | |
Defeasibility in CLP(Q) through Generalized Slack Variables | 209 | |
Inference Duality as a Basis for Sensitivity Analysis | 224 | |
Generalized Local Propagation: A Framework for Solving Constraint Hierarchies | 237 | |
Transformations Between HCLP and PCSP | 252 | |
A Test for Tractability | 267 | |
Combination of Constraint Systems II: Rational Amalgamation | 282 | |
Tractable Disjunctions of Linear Constraints | 297 | |
Exploiting the Use of DAC in MAX-CSP | 308 | |
A New Approach for Weighted Constraint Satisfaction: Theoretical and Computational Results | 323 | |
Towards a More Efficient Stochastic Constraint Solver | 338 | |
A View of Local Search in Constraint Programming | 353 | |
From Quasi-Solutions to Solution: An Evolutionary Algorithm to Solve CSP | 367 | |
Existential Variables and Local Consistency in Finite Domain Constraint Problems | 382 | |
Logical Semantics of Concurrent Constraint Programming | 397 | |
Solving Non-Binary Convex CSPs in Continuous Domains | 410 | |
An Experimental Comparison of Three Modified DeltaBlue Algorithms | 425 | |
Constraint Logic Programming over Unions of Constraint Theories | 436 | |
Analysis of Hybrid Systems in CLP(R) | 451 | |
On Query Languages for Linear Queries Definable with Polynomial Constraints | 468 | |
Analysis of Heuristic Methods for Partial Constraint Satisfaction Problems | 482 | |
Solving Satisfiability Problems Using Field Programmable Gate Arrays: First Results | 497 | |
A Constraint Program for Solving the Job-Shop Problem | 510 | |
PSAP - A Planning System for Aircraft Production | 525 | |
Using Partial Arc Consistency in a Database Environment | 527 | |
Functional Constraint Hierarchies in CLP | 529 | |
Towards an Open Finite Domain Constraint Solver | 531 | |
Efficient Constraint Propagation with Good Space Complexity | 533 | |
Anytime Temporal Reasoning: Preliminary Report | 535 | |
From Constraint Minimization to Goal Optimization in CLP Languages | 537 | |
Looking at Full Looking Ahead | 539 | |
The Arc and Path Consistency Phase Transitions | 541 | |
Experiences with Combining Constraint Programming and Discrete Event Simulation | 543 | |
Hill-Climbing with Local Consistency for Solving Distributed CSPs | 545 | |
Approximate Algorithms for Maximum Utility Problems | 547 | |
A Meta Constraint Logic Programming Architecture | 549 | |
N-Ary Consistencies and Constraint-Based Backtracking | 551 | |
Global Behaviour for Complex Constraints | 553 | |
To Guess or to Think? Hybrid Algorithms for SAT | 555 | |
A Local Simplification Scheme for cc Programs | 557 | |
From Evaluating Upper Bounds of the Complexity of Solving CSPs to Finding All the Solutions of CSPs | 559 | |
Modeling and Solving Distributed Constraint Satisfaction Problems (DCSPs) | 561 | |
Scheduling an Asynchronously Shared Resource | 563 | |
The Generalized Railroad Crossing: Its Symbolic Analysis in CLP(R) | 565 | |
A Stochastic Approach to Solving Fuzzy Constraint Satisfaction Problems | 568 | |
Branch-and-Price for Solving Integer Programs with a Huge Number of Variables: Methods and Applications | 570 | |
Constraint Databases | 571 | |
Complexity-Theoretic Aspects of Programming Language Design | 572 | |
Author Index | 573 |
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'96
X
This Item is in Your InventoryPrinciples and Practice of Constraint Programming - CP'96
X
You must be logged in to review the productsX
X
X
Add Principles and Practice of Constraint Programming - CP'96, , Principles and Practice of Constraint Programming - CP'96 to the inventory that you are selling on WonderClubX
X
Add Principles and Practice of Constraint Programming - CP'96, , Principles and Practice of Constraint Programming - CP'96 to your collection on WonderClub |