Volume 15; Issue 2

Main
Constraints
Volume 15; Issue 2

Constraints

Volume 15; Issue 2

1

A new framework for sharp and efficient resolution of NCSP with manifolds of solutions

Alexandre Goldsztejn, Laurent Granvilliers

Journal:

Year:

2010

Language:

english

File:

PDF, 609 KB

english, 2010

2

A branch and bound algorithm for numerical Max-CSP

Jean-Marie Normand, Alexandre Goldsztejn, Marc Christie, Frédéric Benhamou

Journal:

Year:

2010

Language:

english

File:

PDF, 801 KB

english, 2010

3

A hybrid model for a multiproduct pipeline planning and scheduling problem

Tony Minoru Tamura Lopes, Andre Augusto Ciré, Cid Carvalho de Souza, Arnaldo Vieira Moura

Journal:

Year:

2010

Language:

english

File:

PDF, 799 KB

english, 2010

4

An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints

Kenil C. K. Cheng, Roland H. C. Yap

Journal:

Year:

2010

Language:

english

File:

PDF, 2.00 MB

english, 2010

5

CPBPV: a constraint-programming framework for bounded program verification

Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck

Journal:

Year:

2010

Language:

english

File:

PDF, 984 KB

english, 2010

6

Introduction to the special issue on the Fourteenth International Conference on Principles and Practice of Constraint Programming (CP 2008)

Peter J. Stuckey

Journal:

Year:

2010

Language:

english

File:

PDF, 90 KB

english, 2010