## Principles and Practice of Constraint Programming - CP '95: First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings, Volume 1This 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. |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

I | 1 |

II | 18 |

III | 36 |

IV | 53 |

V | 70 |

VI | 88 |

VII | 103 |

VIII | 121 |

XXIV | 398 |

XXV | 415 |

XXVI | 431 |

XXVII | 449 |

XXVIII | 463 |

XXIX | 481 |

XXX | 499 |

XXXI | 515 |

IX | 137 |

X | 154 |

XI | 170 |

XII | 186 |

XIII | 204 |

XIV | 222 |

XV | 240 |

XVI | 258 |

XVII | 276 |

XVIII | 292 |

XIX | 310 |

XX | 328 |

XXI | 345 |

XXII | 362 |

XXIII | 380 |

XXXII | 533 |

XXXIII | 549 |

XXXIV | 563 |

XXXV | 564 |

XXXVI | 588 |

XXXVII | 589 |

XXXVIII | 624 |

XXXIX | 629 |

XL | 636 |

XLI | 640 |

XLII | 643 |

XLIII | 647 |

XLIV | 651 |

### Other editions - View all

Principles and Practice of Constraint Programming - CP '95: First ... Ugo Montanari,Francesca Rossi No preview available - 2014 |

### Common terms and phrases

abstract abstract interpretation agent algebra algorithm analysis application Artificial Intelligence assignment backtracking binary constraint bound branch and bound called CFDs clauses CLP BNR complete components Computer Science consider constraint logic programming constraint network constraint programming constraint satisfaction problems constraint solver constraint system database debugging defined definition denote disjunction domain efficient equations equivalent example finite first-order formula forward checking function future variables given global consistency graph heuristic implementation inequations instantiation integer job-shop problems labeling Lemma linear programming method minimal nodes number of variables operational semantics operator pair parameter performance polynomial Proc procedure Programming Languages Prolog Prolog III proof propagation query reduction relation representation rewriting rules satisfies SC-structures scheduling Section semantics sequence set of constraints solving step straint strategy structure subset techniques termination Theorem theory tree tuple

### Popular passages

Page 531 - JM Crawford and LD Auton. Experimental results on the crossover point in satisfiability problems.