Description |
1 online resource (xiii, 650 pages) |
Series |
Lecture Notes in Computer Science, 0302-9743 ; 976 |
|
Lecture notes in computer science ; 976.
|
Contents |
Complete Solving of Linear Diophantine Equations and Inequations without Adding Variables / Farid Ajili and Evelyne Contejean -- From Elliott-MacMahon to an Algorithm for General Linear Constraints on Naturals / Eric Domenjoud and Ana Paula Tomas -- The Progressive Party Problem : Integer Linear Programming and Constraint Programming Compared / Barbara M. Smith, Sally C. Brailsford, Peter M. Hubbard and H. Paul Williams -- From Local to Global Consistency in Temporal Constraint Networks / Manolis Koubarakis -- Scaling Effects in the CSP Phase Transition / Ian P. Gent, Ewan MacIntyre, Patrick Prosser and Toby Walsh -- Asynchronous Weak-Commitment Search for Solving Distributed Constraint Satisfaction Problems / Makoto Yokoo -- Optimization-Based Heuristics for Maximal Constraint Satisfaction / Javier Larrosa and Pedro Meseguer -- First-Order Definability over Constraint Databases / Stephane Grumbach and Jianwen Su |
Summary |
This book constitutes the proceedings of the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Cassis near Marseille, France in September 1995. The 33 refereed full papers included were selected out of 108 submissions and constitute the main part of the book; in addition there is a 60-page documentation of the four invited papers and a section presenting industrial reports. Thus besides having a very strong research component, the volume will be attractive for practitioners. The papers are organized in sections on efficient constraint handling, constraint logic programming, concurrent constraint programming, computational logic, applications, and operations research |
Bibliography |
Includes bibliographical references and index |
Notes |
Description based on print version record |
Subject |
Constraint programming (Computer science) -- Congresses
|
|
Constraint programming (Computer science)
|
|
Programmatuurtechniek.
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Congressen (vorm)
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Montanari, U. (Ugo), editor.
|
|
Rossi, F. (Francesca), editor.
|
ISBN |
9783540447887 |
|
3540447881 |
|