• Publications
  • Influence
Breaking Row and Column Symmetries in Matrix Models
TLDR
We identify an important class of symmetries in constraint models: row and column symmetry, arising from matrices of decision variables where rows and columns can be swapped. Expand
  • 219
  • 17
  • PDF
Automatic Airspace Sectorisation: A Survey
TLDR
We survey the algorithmic aspects of methods for automatic airspace sectorisation, for an intended readership of experts on air traffic management. Expand
  • 30
  • 7
  • PDF
Introducing ESRA, a Relational Language for Modelling Combinatorial Problems
TLDR
This work is partially supported by grant 221-99-369 of VR, the Swedish Research Council. Expand
  • 71
  • 6
Logic program synthesis from incomplete information
  • P. Flener
  • Computer Science
  • The Kluwer international series in engineering…
  • 26 September 2012
Lists of Logic Algorithms, Figures, and Tables. Foreword. Preface. I: State of the Art. 1. Automatic Programming. 2. Deductive Inference in Automatic Programming. 3. Inductive Inference in AutomaticExpand
  • 60
  • 4
Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects
TLDR
We analyse the prospects of these techniques in this task, investigating their applicability to software engineering as well as to knowledge acquisition and discovery. Expand
  • 67
  • 4
  • PDF
Auto-tabling for subproblem presolving in MiniZinc
TLDR
A well-known and powerful constraint model reformulation is to compute the solutions to a model part, say a custom constraint predicate, and tabulate them within an extensional constraint that replaces that model part. Expand
  • 10
  • 4
  • PDF
Static and Dynamic Structural Symmetry Breaking
TLDR
We reconsider the idea of structural symmetry breaking (SSB) for constraint satisfaction problems (CSPs). Expand
  • 32
  • 3
  • PDF
Test Data
  • 22
  • 3
  • PDF
Compositional Derivation of Symmetries for Constraint Satisfaction
TLDR
This paper reconsiders the problems of discovering symmetries in constraint satisfaction problems (CSPs). Expand
  • 23
  • 3
  • PDF
Towards Solver-Independent Propagators
TLDR
We present an extension to indexicals to describe propagators for global constraints. Expand
  • 19
  • 3
  • PDF