A branch and bound algorithm for numerical Max-CSP (English)
- New search for: Normand, J. M.
- New search for: Goldsztejn, A.
- New search for: Christie, M.
- New search for: Benhamou, F. d.
- New search for: Normand, J. M.
- New search for: Goldsztejn, A.
- New search for: Christie, M.
- New search for: Benhamou, F. d.
In:
CONSTRAINTS -DORDRECHT-
;
15
, 2
;
213-237
;
2010
-
ISSN:
- Article (Journal) / Print
-
Title:A branch and bound algorithm for numerical Max-CSP
-
Contributors:Normand, J. M. ( author ) / Goldsztejn, A. ( author ) / Christie, M. ( author ) / Benhamou, F. d. ( author )
-
Published in:CONSTRAINTS -DORDRECHT- ; 15, 2 ; 213-237
-
Publisher:
- New search for: Springer Science + Business Media
-
Publication date:2010-01-01
-
Size:25 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 004
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 004 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 15, Issue 2
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 149
-
Introduction to the special issue on the Fourteenth International Conference on Principles and Practice of Constraint Programming (CP 2008)Stuckey, Peter J. et al. | 2010
- 151
-
A hybrid model for a multiproduct pipeline planning and scheduling problemLopes, Tony Minoru Tamura / Ciré, Andre Augusto / Souza, Cid Carvalho / Moura, Arnaldo Vieira et al. | 2009
- 190
-
A new framework for sharp and efficient resolution of NCSP with manifolds of solutionsGoldsztejn, Alexandre / Granvilliers, Laurent et al. | 2009
- 213
-
A branch and bound algorithm for numerical Max-CSPNormand, Jean-Marie / Goldsztejn, Alexandre / Christie, Marc / Benhamou, Frédéric et al. | 2009
- 238
-
CPBPV: a constraint-programming framework for bounded program verificationCollavizza, Hélène / Rueher, Michel / Hentenryck, Pascal et al. | 2010
- 265
-
An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraintsCheng, Kenil C. K. / Yap, Roland H. C. et al. | 2009