Volume 18, Issue 2, April 2013

Special Issue on Constraint Modelling and Reformulation

ISSN: 1383-7133 (Print) 1572-9354 (Online)

In this issue (6 articles)

  1. EditorialNotes

    Introduction to the special issue on constraint modelling and reformulation

    Andrea Rendl, J. Christopher Beck Pages 141-143
    Download PDF (130KB)

  2. No Access

    OriginalPaper

    Formulating the template ILP consistency problem as a constraint satisfaction problem

    Roman Barták, Radomír Černoch, Ondřej Kuželka, Filip Železný Pages 144-165
    Look Inside Get Access

  3. No Access

    OriginalPaper

    Using dual presolving reductions to reformulate cumulative constraints

    Stefan Heinz, Jens Schulz, J. Christopher Beck Pages 166-201
    Look Inside Get Access

  4. No Access

    OriginalPaper

    Reformulation based MaxSAT robustness

    Miquel Bofill, Dídac Busquets, Víctor Muñoz, Mateu Villaret Pages 202-235
    Look Inside Get Access

  5. No Access

    OriginalPaper

    Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories

    Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret Pages 236-268
    Look Inside Get Access

  6. No Access

    OriginalPaper

    Search combinators

    Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz… Pages 269-305
    Look Inside Get Access