Principles and practice of constraint programming -- CP '96. Second international conference, CP '96, Cambridge, MA, USA, August 19--22, 1996. Proceedings

MaRDI QIDQ1920207zbMATH OpenFDO

Authors

Publication date 21 August 1996

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Cambridge, MA (USA)ConferenceConstraint programmingProceedings

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to operations research and mathematical programming (90-06)

Review text

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Charatonik, Witold; Podelski, Andreas}, The independence property of a class of set constraints, 76-90 [Zbl 0886.03023] \textit{Cohen, David; Gyssens, Marc; Jeavons, Peter}, Derivation of constraints and database relations, 134-148 [Zbl 0895.68032] \textit{Ruet, Paul}, Logical semantics of concurrent constraint programming, 397-409 [Zbl 0886.03024]

Cited in

(6)

• Principles and practice of constraint programming. 2nd international workshop, PPCP '94, Rosario, Orcas Island, Washington, DC, USA, May 2-4, 1994. Proceedings
• Search algorithms in type theory
• Constraint programming: Basics and Trends. 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994. Selected papers
• scientific article; zbMATH DE number 601032 (Why is no real title available?)
• The smallest hard trees
• A stepwise refinement proof that SCL(FOL) simulates ground ordered resolution

This page was built for publication: Principles and practice of constraint programming -- CP '96. Second international conference, CP '96, Cambridge, MA, USA, August 19--22, 1996. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1920207)