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
Building industrial applications with constraint programming
Constraints in computational logics
The use of a strategy language for solving search problems
Annals of Mathematics and Artificial Intelligence
Mixed Global Constraints and Inference in Hybrid CLP–IP Solvers
Annals of Mathematics and Artificial Intelligence
Optimization-Oriented Global Constraints
Constraints
Mathematical Programming Techniques in Constraint Programming: A Short Overview
Journal of Heuristics
Constraint Programming Based Column Generation for Crew Assignment
Journal of Heuristics
Cutting Planes in Constraint Programming: A Hybrid Approach
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Linear Formulation of Constraint Programming Models and Hybrid Solvers
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Network Flow Problems in Constraint Programming
CP '01 Proceedings of the 7th 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 Sum Constraint: Relaxation and Applications
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
A Relaxation of the Cumulative Constraint
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
SCIL - Symbolic Constraints in Integer Linear Programming
ESA '02 Proceedings of the 10th Annual European Symposium on Algorithms
Non Binary CSPs and Heuristics for Modeling and Diagnosing Dynamic Systems
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Integrating Constraint and Integer Programming for the Orthogonal Latin Squares Problem
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Constraint programming and maths programming
The Knowledge Engineering Review
A scheme for unifying optimization and constraint satisfaction methods
The Knowledge Engineering Review
Applying integer programming to AI planning
The Knowledge Engineering Review
Computers and Operations Research
A unified framework for partial and hybrid search methods in constraint programming
Computers and Operations Research
Accelerating column generation for aircraft scheduling using constraint propagation
Computers and Operations Research
INFORMS Journal on Computing
Augmenting disjunctive temporal problems with finite-domain constraints
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 3
On the cooperation of the constraint domains ℋ, ℛ, and ℱ in cflp
Theory and Practice of Logic Programming
A global constraint for nesting problems
Artificial Intelligence Review
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
Constraint integer programming: a new approach to integrate CP and MIP
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Integer optimization by local search: a domain-independent approach
Integer optimization by local search: a domain-independent approach
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
| Hi-index | 0.00 |
We introduce branch and infer, a unifying framework for integer linear programming and finite domain constraint programming. We use this framework to compare the two approaches with respect to their modeling and solving capabilities, to introduce symbolic constraint abstractions into integer programming, and to discuss possible combinations of the two approaches.