Book Chapter
Application development with the CHIP system
Helmut Simonis
Lecture Notes in Computer Science, 1996, Volume 1034, Constraint Databases and Application, Pages 1-21
Book Chapter
Propositional calculus problems in CHIP
H. Simonis and M. Dincbas
Lecture Notes in Computer Science, 1990, Volume 463, Algebraic and Logic Programming, Pages 189-203
Book Chapter
Constraint Logic Programming
An informal introduction
Thom Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost and Pierre Lim, et al.
Lecture Notes in Computer Science, 1992, Volume 636, Logic Programming in Action, Pages 3-35
Book Chapter
Performance analysis of a Parallel Prolog: A correlated approach
J. Chassin de Kergommeaux, U. C. Baron, W. Rapp and M. Ratcliffe
Lecture Notes in Computer Science, 1989, Volume 366, PARLE '89 Parallel Architectures and Languages Europe, Pages 151-164
Book Chapter
Semantic properties of CHIP(FD)
Gilberto Filé, Giuseppe Nardiello and Adriano Tirabosco
Lecture Notes in Computer Science, 1995, Volume 923, Constraint Processing, Pages 225-245
Book Chapter
Constraint logic programming as a modeling tool
Johan M. Broek
Lecture Notes in Control and Information Sciences, 1992, Volume 174, Optimization-Based Computer-Aided Modelling and Design, Pages 9-19
Book Chapter
An introduction to constraint logic programming
Frank Kriwaczek
Lecture Notes in Computer Science, 1992, Volume 617, Advanced Topics in Artificial Intelligence, Pages 82-94
Book Chapter
Controlling search in declarative programs
Michael Hanus and Frank Steiner
Lecture Notes in Computer Science, 1998, Volume 1490, Principles of Declarative Programming, Pages 374-390
Book Chapter
The CHIP system and its applications
Helmut Simonis
Lecture Notes in Computer Science, 1995, Volume 976, Principles and Practice of Constraint Programming — CP '95, Pages 643-646
Book Chapter
A CLP approach for examination planning
Patrice Boizumault, Yan Delon and Laurent Péridy
Lecture Notes in Computer Science, 1995, Volume 923, Constraint Processing, Pages 85-101