Constraint satisfaction in logic programming
Constraint satisfaction in logic programming
Linear programming and network flows (2nd ed.)
Linear programming and network flows (2nd ed.)
A CLP language handling disjunctions of linear constraints
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
A filtering algorithm for constraints of difference in CSPs
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Logic cuts for processing networks with fixed charges
Computers and Operations Research
The OPL optimization programming language
The OPL optimization programming language
On integrating constraint propagation and linear programming for combinatorial optimization
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
Mixed logical-linear programming
Discrete Applied Mathematics - Special issue on the satisfiability problem and Boolean functions
Solving TSP with time windows with constraints
Proceedings of the 1999 international conference on Logic programming
Nonserial Dynamic Programming
Logic-Based Methods for Optimization
PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Arc Consistency for Global Cardinality Constraints with Costs
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Tight Cooperation and Its Application in Piecewise Linear Optimization
CP '99 Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming
Branch and Infer: a Unifying Framework for Integer and Finite Domain Constraint Programming
INFORMS Journal on Computing
Inference-Based Sensitivity Analysis for Mixed Integer/Linear Programming
Operations Research
Optimal Design of Truss Structures by Logic-Based Branch and Cut
Operations Research
Mixed Global Constraints and Inference in Hybrid CLP–IP Solvers
Annals of Mathematics and Artificial Intelligence
IEEE Transactions on Knowledge and Data Engineering
A Polyhedral Study of the Cardinality Constrained Knapsack Problem
Proceedings of the 9th International IPCO Conference on Integer Programming and Combinatorial Optimization
Linear Formulation of Constraint Programming Models and Hybrid Solvers
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
On the intersection of AI and OR
The Knowledge Engineering Review
The Knowledge Engineering Review
Combining satisfiability techniques from AI and OR
The Knowledge Engineering Review
A decomposition-based implementation of search strategies
ACM Transactions on Computational Logic (TOCL)
IEEE Intelligent Systems
A Hybrid Method for the Planning and Scheduling
Constraints
Solving a real-time allocation problem with constraint programming
Journal of Systems and Software
An Integrated Solver for Optimization Problems
Operations Research
Constraint-based agents: an architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds
On the Facial Structure of the Alldifferent System
SIAM Journal on Discrete Mathematics
A search-infer-and-relax framework for integrating solution methods
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Combining arc-consistency and dual lagrangean relaxation for filtering CSPs
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Extensions to the repetitive branch and bound algorithm for globally optimal clusterwise regression
Computers and Operations Research
Models for representing piecewise linear cost functions
Operations Research Letters
Hi-index | 0.00 |
Optimization and constraint satisfaction methods are complementary to a large extent, and there has been much recent interest in combining them. Yet no generally accepted principle or scheme for their merger has evolved. We propose a scheme based on two fundamental dualities: the duality of search and inference, and the duality of strengthening and relaxation. Optimization as well as constraint satisfaction methods can be seen as exploiting these dualities in their respective ways. Our proposal is that rather than employ either type of method exclusively, one can focus on how these dualities can be exploited in a given problem class. The resulting algorithm is likely to contain elements from both optimization and constraint satisfaction, and perhaps new methods that belong to neither.