Content
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