Centrum für Informations- und Sprachverarbeitung

Breadcrumb Navigation


On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers .

in Proceedings of the International Conference on Constraint Programming, CP-95, Springer-Verlag, Lecture Notes in Computer Science 976, 1995.

Authors/Editors: Franz Baader
Klaus U. Schulz
Publication Date: 1995
Type of Publication: Konferenzen/Journale
Related Links