This review examines the current state-of-the-art in short-term planning for open-pit mines,
with a granularity that spans days, weeks or months, and a horizon of less than one to two …

The job of the constraint programmer is to use mathematical constraints to model real world
constraints and objects. In this book, Kim Marriott and Peter Stuckey provide the first …

There is no standard modelling language for constraint programming (CP) problems. Most
solvers have their own modelling language. This makes it difficult for modellers to experiment …

Multiple structural alignment is a fundamental problem in structural genomics. In this article,
we define a reliable and robust algorithm, MUSTANG (MUltiple STructural AligNment …

The CLP( ℛ ) programming language is defined, its underlying philosophy and programming
methodology are discussed, important implementation issues are explored in detail, and …

Finite domain propagation solvers effectively represent the possible values of variables by a
set of choices which can be naturally modelled as Boolean variables. In this paper we …

Examination timetabling is a well-studied combinatorial optimization problem. We present a
new hybrid algorithm for examination timetabling, consisting of three phases: a constraint …

An unsatisfiable set of constraints is minimal if all its (strict) subsets are satisfiable. The task
of type error diagnosis requires finding all minimal unsatisfiable subsets of a given set of …

… simplex form allows us to handle unrestricted variables efficiently and simply; it was developed
for implementing constraint logic programming languages [Marriott and Stuckey 1998], …

Protein topology diagrams are 2D representations of protein structure that are particularly
useful in understanding and analysing complex protein folds. Generating such diagrams …