Journal: Constraints

Volume 19, Issue 4

339 -- 379Charles Prud'homme, Xavier Lorca, Narendra Jussien. Explanation-based large neighborhood search
380 -- 403Mirko Stojadinovic, Filip Maric. meSAT: multiple encodings of CSP to SAT
404 -- 433David Bergman, John N. Hooker. Graph coloring inequalities from all-different systems
434 -- 462Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J. Stuckey. Symmetries, almost symmetries, and lazy clause generation

Volume 19, Issue 3

195 -- 242Christopher Mears, Maria Garcia de la Banda, Bart Demoen, Mark Wallace. Lightweight dynamic symmetry breaking
243 -- 269Roger Kameugne, Laure Pauline Fotso, Joseph Scott, Youcheu Ngo-Kateu. A quadratic edge-finding filtering algorithm for cumulative resource constraints
270 -- 308Jimmy Ho-Man Lee, Ka Lun Leung, Y. W. Shum. Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction
309 -- 337Marie Pelleau, Charlotte Truchet, Frédéric Benhamou. The octagon abstract domain for continuous constraints

Volume 19, Issue 2

121 -- 125Michela Milano, Pascal Van Hentenryck. Looking into the crystal-ball: a bright future for CP
126 -- 138Maria Garcia de la Banda, Peter J. Stuckey, Pascal Van Hentenryck, Mark Wallace. The future of optimization technology
139 -- 149Nicolas Beldiceanu, Pierre Flener, Jean-Noël Monette, Justin Pearson, Helmut Simonis. Toward sustainable development in constraint programming
150 -- 162Eugene C. Freuder, Barry O'Sullivan. Grand challenges for constraint programming
163 -- 173Thomas W. Kelsey, Lars Kotthoff, Christopher Jefferson, Stephen A. Linton, Ian Miguel, Peter Nightingale, Ian P. Gent. Qualitative modelling via constraint programming
174 -- 185Michela Milano, Michele Lombardi. Strategic decision making on complex systems
186 -- 194Francesca Rossi. Collective decision making: a great opportunity for constraint reasoning

Volume 19, Issue 1

1 -- 29Kathryn Glenn Francis, Peter J. Stuckey. Explaining circuit propagation
30 -- 56Mohamed Siala 0002, Emmanuel Hebrard, Marie-José Huguet. An optimal arc consistency algorithm for a particular case of sequence constraint
57 -- 76Charles Prud'homme, Xavier Lorca, Rémi Douence, Narendra Jussien. Propagation engine prototyping with a domain specific language
77 -- 120Jean-Baptiste Mairy, Pascal Van Hentenryck, Yves Deville. Optimal and efficient filtering algorithms for table constraints