Sciweavers

CPAIOR
2009
Springer
13 years 11 months ago
A Benders'Approach to a Transportation Network Design Problem
Benjamin Peterson, Michael A. Trick
CPAIOR
2009
Springer
13 years 11 months ago
Using Model Counting to Find Optimal Distinguishing Tests
Stefan Heinz, Martin Sachenbacher
CPAIOR
2009
Springer
13 years 11 months ago
The Polytope of Context-Free Grammar Constraints
Context-free grammar constraints enforce that a sequence of variables forms a word in a language defined by a context-free grammar. The constraint has received a lot of attention ...
Gilles Pesant, Claude-Guy Quimper, Louis-Martin Ro...
CPAIOR
2009
Springer
13 years 11 months ago
Learning How to Propagate Using Random Probing
Abstract. In constraint programming there are often many choices regarding the propagation method to be used on the constraints of a problem. However, simple constraint solvers usu...
Efstathios Stamatatos, Kostas Stergiou
CPAIOR
2009
Springer
13 years 11 months ago
CP-INSIDE: Embedding Constraint-Based Decision Engines in Business Applications
Jacob Feldman, Eugene C. Freuder, James Little
CPAIOR
2009
Springer
13 years 11 months ago
Modelling Search Strategies in Rules2CP
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
François Fages, Julien Martin
CPAIOR
2009
Springer
13 years 11 months ago
Reformulating Global Grammar Constraints
An attractive mechanism to specify global constraints in rostering and other domains is via formal languages. For instance, the REGULAR and GRAMMAR constraints specify constraints ...
George Katsirelos, Nina Narodytska, Toby Walsh
CPAIOR
2009
Springer
13 years 11 months ago
Six Ways of Integrating Symmetries within Non-overlapping Constraints
Abstract: This paper introduces six ways for handling a chain of lexicographic ordering constraint between the origins of identical orthotopes (e.g., rectangles, boxes, hyper-recta...
Magnus Ågren, Nicolas Beldiceanu, Mats Carls...
CPAIOR
2009
Springer
13 years 11 months ago
Backdoors to Combinatorial Optimization: Feasibility and Optimality
There has been considerable interest in the identification of structural properties of combinatorial problems that lead, directly or indirectly, to the development of efficient al...
Bistra N. Dilkina, Carla P. Gomes, Yuri Malitsky, ...