Journal: Constraints

Volume 21, Issue 4

435 -- 462Michele Lombardi, Stefano Gualandi. A lagrangian propagator for artificial neural networks in constraint programming
463 -- 494Milan Bankovic. Extending SMT solvers with support for finite domain alldifferent constraint
495 -- 532Nina Narodytska, Thierry Petit, Mohamed Siala 0002, Toby Walsh. Three generalizations of the FOCUS constraint
533 -- 556David Bergman, André Augusto Ciré. Theoretical insights and algorithmic tools for decision diagram-based optimization
557 -- 576Luc Jaulin. Range-only SLAM with indistinguishable landmarks; a constraint programming approach
577 -- 596Jean Bertrand Gauthier, Antoine Legrain. Operating room management under uncertainty
597 -- 615Philippe Vismara, Remi Coletta, Gilles Trombettoni. Constrained global optimization for wine blending
616 -- 645Yossef Oren, Avishai Wool. Side-channel cryptographic attacks using pseudo-boolean optimization
646 -- 652Soon Chee Loong, Wen-Yang Ku, J. Christopher Beck. ℚ-bounds consistency for the spread constraint with variable mean

Volume 21, Issue 3

355 -- 356Claude-Guy Quimper. Introduction to the fast track issue for CPAIOR 2016
357 -- 374Avraham Itzhakov, Michael Codish. Breaking symmetries in graph search with canonizing sets
375 -- 393Michael Codish, Michael Frank 0002, Avraham Itzhakov, Alice Miller. Computing the Ramsey number R(4, 3, 3) using abstraction and symmetry breaking
394 -- 412Edward Lam, Pascal Van Hentenryck. A branch-and-price-and-check model for the vehicle routing problem with location congestion
413 -- 434Barry Hurley 0001, Barry O'Sullivan, David Allouche, George Katsirelos, Thomas Schiex, Matthias Zytnicki, Simon de Givry. Multi-language evaluation of exact solvers in graphical model discrete optimization

Volume 21, Issue 2

115 -- 144Clément Carbonnel, Martin C. Cooper. Tractability in constraint satisfaction problems: a survey
145 -- 162Jean-Guillaume Fages, Xavier Lorca, Louis-Martin Rousseau. The salesman and the tree: the importance of search in CP
163 -- 197Anastasia Paparrizou, Kostas Stergiou. Strong local consistency algorithms for table constraints
198 -- 222Evgenij Thorstensen. Structural decompositions for problems with global constraints
223 -- 250Mark H. Liffiton, Alessandro Previti, Ammar Malik, Joao Marques-Silva. Fast, flexible MUS enumeration
251 -- 276Faten Nabli, Thierry Martinez, François Fages, Sylvain Soliman. On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity
277 -- 302Alexey Ignatiev, Mikolás Janota, Joao Marques-Silva. Quantified maximum satisfiability
303 -- 317Amira Dems, Louis-Martin Rousseau, Jean-Marc Frayret. A hybrid constraint programming approach to a wood procurement problem with bucking decisions
318 -- 348Luca Di Gaspero, Andrea Rendl, Tommaso Urli. Balancing bike sharing systems with constraint programming
349 -- 354El Mehdi El Graoui, Imade Benelallam, El-Houssine Bouyakhf. A commentary on "Hybrid search for minimal perturbation in Dynamic CSPs"

Volume 21, Issue 1

1 -- 0. Editor's note
2 -- 21Philip Kilby, Tommaso Urli. Fleet design optimisation from historical data using constraint programming and large neighbourhood search
22 -- 40Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis. Using finite transducers for describing and synthesising structural time-series constraints
41 -- 58Alexander Ivrii, Sharad Malik, Kuldeep S. Meel, Moshe Y. Vardi. On computing minimal independent support and its applications to sampling and counting
59 -- 76John N. Hooker. Projection, consistency, and George Boole
77 -- 94Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda. Visual search tree profiling
95 -- 114Frédéric Koriche, Sylvain Lagrue, Éric Piette, Sébastien Tabary. General game playing with stochastic CSP