Journal: Constraints

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