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