Constraint and Integer Programming: Toward a Unified Methodology (Operations Research/Computer Science Interfaces", 27)

A branch-price-and-propagate approach for optimizing IGP weight setting subject to unique shortest paths

Proceedings of the 2005 ACM symposium on Applied computing

Reformulation of Global Constraints Based on Constraints Checkers

Constraints

Propositional Satisfiability and Constraint Programming: A comparative survey

ACM Computing Surveys (CSUR)

New lower bounds based on column generation and constraint programming for the pattern minimization problem

Computers and Operations Research

Reducing the abstraction and optimality gaps in the allocation and scheduling for variable voltage/frequency MPSoC platforms

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Reformulating constraint satisfaction problems to improve scalability

SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation

Reformulating CSPs for scalability with application to geospatial reasoning

CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming

An Integrated Solver for Optimization Problems

Operations Research

An overview of AI research in Italy

Artificial intelligence

Combined planning and scheduling in a divergent production system with co-production: A case study in the lumber industry

Computers and Operations Research

On the Facial Structure of the Alldifferent System

SIAM Journal on Discrete Mathematics

Exploration of the capabilities of constraint programming for software verification

TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Bounding, filtering and diversification in CP-based local branching

Journal of Heuristics

A hybrid MIP/CP approach for multi-activity shift scheduling

CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming