Recent Advances in Constraints Joint ERCIM/CoLogNET Internationa
Constraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and arti?cial intelligence. The tools and programming languages arising from this research ?eldhaveenjoyedrealsu
- PDF / 3,594,120 Bytes
- 294 Pages / 430 x 660 pts Page_size
- 37 Downloads / 125 Views
Subseries of Lecture Notes in Computer Science
3010
3
Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo
Krzysztof R. Apt Fran¸cois Fages Francesca Rossi P´eter Szeredi József V´ancza (Eds.)
Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003 Budapest, Hungary, June 30 - July 2, 2003 Selected Papers
13
Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA J¨org Siekmann, University of Saarland, Saarbr¨ucken, Germany Volume Editors Krzysztof R. Apt National University of Singapore, School of Computing 3 Science Drive 2, Republic of Singapore 117543 E-mail: [email protected] Fran¸cois Fages INRIA Rocquencourt - Projet CONTRAINTES Domaine de Voluceau, Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France E-mail: [email protected] Francesca Rossi University of Padua, Department of Pure and Applied Mathematics Via G.B. Belzoni 7, 35131 Padua, Italy E-mail: [email protected] P´eter Szeredi Budapest University of Technology and Economics Department of Computer Science and Information Theory Magyar tudosok krt. 2, 1117 Budapest, Hungary E-mail: [email protected] József V´ancza Hungarian Academy of Sciences, Computer and Automation Research Institute Kende u. 13-17, 1111 Budapest, Hungary E-mail: [email protected] Library of Congress Control Number: 2004103751 CR Subject Classification (1998): I.2.3-4, D.1, D.3.2-3, F.3.2, F.4.1, I.2.8, F.2.2 ISSN 0302-9743 ISBN 3-540-21834-3 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag is a part of Springer Science+Business Media springeronline.com c Springer-Verlag Berlin Heidelberg 2004 Printed in Germany Typesetting: Camera-ready by author, data conversion by Olgun Computergrafik Printed on acid-free paper SPIN: 10997857 06/3142 543210
Preface
Constraint programming is the fruit of several decades of research carried out in mathematical logic, automated deduction, operations research and artificial intelligence. The tools and programming languages arising from this research field have enjoyed real success in the industrial world as they contribute to solving hard combinatorial problems in diverse domains such as production planning, communication networks, robotics and bioinformatics. This volume contains the extended and reviewed versions of a selection of papers presented at the Joint ERCIM/CoLogNET International Workshop on Constraint Solvin
Data Loading...
