Publications

Models and emerging trends of concurrent constraint programming

Carlos Olarte, Camilo Rueda, Frank D. Valencia

Constraints 18(4), October 2013

DOI: 10.1007/s10601-013-9145-3

Iterative and core-guided MaxSAT solving: A survey and assessment

António Morgado, Federico Heras, Mark H. Liffiton, Jordi Planes, Joao Marques-Silva

Constraints 18(4), October 2013

DOI: 10.1007/s10601-013-9146-2

Redundant disequalities in the Latin Square problem

Bart Demoen, Maria Garcia de la Banda

Constraints 18(4), October 2013

DOI: 10.1007/s10601-013-9147-1

Balancing and scheduling of flexible mixed model assembly lines

Cemalettin Öztürk, Semra Tunali, Brahim Hnich, Arslan M. Örnek

Constraints 18(3), July 2013

DOI: 10.1007/s10601-013-9142-6

Nogood-based asynchronous forward checking algorithms

Mohamed Wahbi, Redouane Ezzahir, Christian Bessiere, El-Houssine Bouyakhf

Constraints 18(3), July 2013

DOI: 10.1007/s10601-013-9144-4

Domain consistency with forbidden values

Yves Deville, Pascal Van Hentenryck, Jean-Baptiste Mairy

Constraints 18(3), July 2013

DOI: 10.1007/s10601-012-9135-x

Probabilistic constraints for nonlinear inverse problems - An ocean color remote sensing example

Elsa Carvalho, Jorge Cruz, Pedro Barahona

Constraints 18(3), July 2013

DOI: 10.1007/s10601-012-9139-6

Multiset variable representations and constraint propagation

Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, May H. C. Woo

Constraints 18(3), July 2013

DOI: 10.1007/s10601-012-9138-7

Search combinators

Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey

Constraints 18(2), Special Issue on Constraint Modelling and Reformulation, April 2013

DOI: 10.1007/s10601-012-9137-8

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

Carlos Ansótegui, Miquel Bofill, Miquel Palahí, Josep Suy, Mateu Villaret

Constraints 18(2), Special Issue on Constraint Modelling and Reformulation, April 2013

DOI: 10.1007/s10601-012-9131-1

Reformulation based MaxSAT robustness

Miquel Bofill, Dídac Busquets, Víctor Muñoz, Mateu Villaret

Constraints 18(2), Special Issue on Constraint Modelling and Reformulation, April 2013

DOI: 10.1007/s10601-012-9130-2

Using dual presolving reductions to reformulate cumulative constraints

Stefan Heinz, Jens Schulz, J. Christopher Beck

Constraints 18(2), Special Issue on Constraint Modelling and Reformulation, April 2013

DOI: 10.1007/s10601-012-9136-9

Formulating the template ILP consistency problem as a constraint satisfaction problem

Roman Barták, Radomír Černoch, Ondřej Kuželka, Filip Železný

Constraints 18(2), Special Issue on Constraint Modelling and Reformulation, April 2013

DOI: 10.1007/s10601-013-9141-7

Introduction to the special issue on constraint modelling and reformulation

Andrea Rendl, J. Christopher Beck

Constraints 18(2), Special Issue on Constraint Modelling and Reformulation, April 2013

DOI: 10.1007/s10601-013-9143-5

On matrices, automata, and double counting in constraint programming

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson

Constraints 18(1), January 2013

DOI: 10.1007/s10601-012-9134-y

View-based propagator derivation

Christian Schulte, Guido Tack

Constraints 18(1), January 2013

DOI: 10.1007/s10601-012-9133-z

Structural tractability of enumerating CSP solutions

Gianluigi Greco, Francesco Scarcello

Constraints 18(1), January 2013

DOI: 10.1007/s10601-012-9129-8

On the hardness of solving edge matching puzzles as SAT or CSP problems

Carlos Ansótegui, Ramón Béjar, Cèsar Fernández, Carles Mateu

Constraints 18(1), January 2013

DOI: 10.1007/s10601-012-9128-9

On the reification of global constraints

Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson

Constraints 18(1), January 2013

DOI: 10.1007/s10601-012-9132-0

Grand challenges for constraint programming

Eugene C. Freuder, Barry O’Sullivan

Constraints (January 2014)

DOI: 10.1007/s10601-013-9155-1

Pages