Journal: Constraints

Volume 15, Issue 2

151 -- 189Tony Minoru Tamura Lopes, André A. Ciré, Cid Carvalho de Souza, Arnaldo Vieira Moura. A hybrid model for a multiproduct pipeline planning and scheduling problem
190 -- 212Alexandre Goldsztejn, Laurent Granvilliers. A new framework for sharp and efficient resolution of NCSP with manifolds of solutions
213 -- 237Jean-Marie Normand, Alexandre Goldsztejn, Marc Christie, Frédéric Benhamou. A branch and bound algorithm for numerical Max-CSP
238 -- 264Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck. CPBPV: a constraint-programming framework for bounded program verification
265 -- 304Kenil C. K. Cheng, Roland H. C. Yap. An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints