Mixed logical-linear programming

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

State-space planning by integer 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 Global Constraints and Inference in Hybrid CLP–IP Solvers

Annals of Mathematics and Artificial Intelligence

Probe Backtrack Search for Minimal Perturbation in DynamicScheduling

Constraints

Mathematical Programming Techniques in Constraint Programming: A Short Overview

Journal of Heuristics

Linear Formulation of Constraint Programming Models and Hybrid Solvers

CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming

Branch-and-Check: A Hybrid Framework Integrating Mixed Integer Programming and Constraint Logic 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

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

Branch-and-cut for combinatorial optimization problems without auxiliary binary variables

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

Integer optimization models of AI planning problems

The Knowledge Engineering Review

Hard Problem Generation for MKP

ENC '05 Proceedings of the Sixth Mexican International Conference on Computer Science

A Mathematical Logic Approach for the Transformation of the Linear Conditional Piecewise Functions of Dispersion-and-Store and Cell Transmission Traffic Flow Models into Linear Mixed-Integer Form

Transportation Science

Scheduling projects with multi-skilled personnel by a hybrid MILP/CP benders decomposition algorithm

Journal of Scheduling

Fixing variable values in the capacitated facility location problem through pairing and surrogate constraint analysis

ECC'09 Proceedings of the 3rd international conference on European computing conference

A preprocessing procedure for fixing the binary variables in the capacitated facility location problem through pairing and surrogate constraint analysis

WSEAS Transactions on Mathematics

An Integrated Solver for Optimization Problems

Operations Research

Hybrid algorithms in constraint programming

CSCLP'06 Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints

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

First-order mixed integer linear programming

UAI '09 Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence

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

Generalised integer programming based on logically defined relations

MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science

Convex programming methods for global optimization

COCOS'03 Proceedings of the Second international conference on Global Optimization and Constraint Satisfaction

Extensions to the repetitive branch and bound algorithm for globally optimal clusterwise regression

Computers and Operations Research

Solving generalized optimization problems subject to SMT constraints

FAW-AAIM'12 Proceedings of the 6th international Frontiers in Algorithmics, and Proceedings of the 8th international conference on Algorithmic Aspects in Information and Management

A general constraint-centric scheduling framework for spatial architectures

Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation

The constraint of difference and total dual integrality

Proceedings of the 17th Panhellenic Conference on Informatics