• Publications
  • Influence
MiniZinc: Towards a Standard CP Modelling Language
TLDR
We present MiniZinc, a simple but expressive CP modelling language which is suitable for modelling problems for a range of solvers and provides a reasonable compromise between many design possibilities. Expand
  • 639
  • 82
  • PDF
Programming with Constraints: An Introduction
TLDR
Part 1 Constraints: constraints simplifications, optimization and implication finite constraint domains. Expand
  • 923
  • 61
MUSTANG: A multiple structural alignment algorithm
Multiple structural alignment is a fundamental problem in structural genomics. In this article, we define a reliable and robust algorithm, MUSTANG (MUltiple STructural AligNment AlGorithm), for theExpand
  • 608
  • 34
  • PDF
Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization
TLDR
We show how to incrementally compute both these sets, using the fact that the complements of the maximal satisfiable constraint sets are the hitting sets of the minimal unsatisfiable constraint set. Expand
  • 161
  • 32
  • PDF
The Semantics of Constraint Logic Programs
TLDR
The Constraint Logic Programming (CLP) Scheme gave a formal framework, based on constraints, for the basic operational, logical and algebraic semantics of an extended class of logic programs. Expand
  • 221
  • 31
  • PDF
The Refined Operational Semantics of Constraint Handling Rules
TLDR
Constraint Handling Rules use an operational semantics which is considerably finer than the theoretical operational semantics, but is still non-deterministic (from the user’s perspective). Expand
  • 176
  • 27
  • PDF
Propagation via lazy clause generation
TLDR
We describe how to mimic a finite domain propagation engine, by mapping propagators into clauses in a SAT solver. Expand
  • 220
  • 21
  • PDF
Efficient constraint propagation engines
TLDR
This article presents a model and implementation techniques for speeding up constraint propagation based on propagators that combine the effects of multiple propagators with priorities for greater efficiency. Expand
  • 146
  • 18
  • PDF
The Cassowary linear arithmetic constraint solving algorithm
TLDR
We describe Cassowary---an incremental algorithm based on the dual simplex method, which can solve simultaneous linear equations and inequalities efficiently. Expand
  • 167
  • 16
  • PDF
Semantics of Logic Programs with Aggregates
TLDR
We investigate the semantics of aggregates (count, sum, : : :) in logic programs with function symbols and negation. Expand
  • 142
  • 15
  • PDF