External Links

    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
    runs on