Volume 18, Issue 2 | Constraints

Home
Constraints
Volumes and issues
Volume 18, Issue 2

Constraints

An International Journal

Publishing model:: Hybrid

Submit your manuscript

Search all Constraints articles

Volume 18, Issue 2

April 2013

Special Issue on Constraint Modelling and Reformulation

Issue Editors:

Andrea Rendl,
J. Christopher Beck

6 articles in this issue

Introduction to the special issue on constraint modelling and reformulation
Andrea Rendl
J. Christopher Beck
EditorialNotes 22 February 2013 Pages: 141 - 143
Formulating the template ILP consistency problem as a constraint satisfaction problem
Roman Barták
Radomír Černoch
Filip Železný
OriginalPaper 12 February 2013 Pages: 144 - 165
Using dual presolving reductions to reformulate cumulative constraints
Stefan Heinz
Jens Schulz
J. Christopher Beck
OriginalPaper 12 January 2013 Pages: 166 - 201
Reformulation based MaxSAT robustness
Miquel Bofill
Dídac Busquets
Mateu Villaret
OriginalPaper 14 November 2012 Pages: 202 - 235
Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
Carlos Ansótegui
Miquel Bofill
Mateu Villaret
OriginalPaper 13 November 2012 Pages: 236 - 268
Search combinators
Tom Schrijvers
Guido Tack
Peter J. Stuckey
OriginalPaper 30 December 2012 Pages: 269 - 305