Centrum für Informations- und Sprachverarbeitung
print


Breadcrumb Navigation


Content

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

CIS-Bericht-94-82

Authors/Editors: Franz Baader
Klaus U. Schulz
Publication Date: 1994
Type of Publication: Veröffentlichungen in der Reihe CIS-Berichte