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