WCLP 1991: Marseilles, France

Theoretical Aspects

Numerical Contraints

Boolean and Other Finite Domains

CLP Language Design

a service of Schloss Dagstuhl - Leibniz Center for Informatics