Hochschulschrift
Global analysis and optimizing compilation of constraint solving algorithms in constraint logic programming
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
II, 105 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Kaiserslautern, Univ., Diss., 1997
- Keyword
-
Constraint-logische Programmierung
Optimierender Compiler
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 2:16 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
Other Objects (12)
Logic-based 0-1 constraint solving in constraint logic programming
Constraint solving for verification
Off-line compilation for efficient processing with constraint logic grammars
Solving linear graphical constraint expressions
Modern constraint answer set solving
Geometric constraint solving and applications
Higher-order constraint logic programming
Projection in constraint logic programming
Efficient Constraint Solving in Dynamic Languages
Parallel constraint solving for combinatorial problems
Cutting planes in constraint logic programming
Preference based problem solving for constraint programming
Logic-based 0-1 constraint solving in constraint logic programming
Constraint solving for verification
Off-line compilation for efficient processing with constraint logic grammars
Solving linear graphical constraint expressions
Modern constraint answer set solving
Geometric constraint solving and applications
Higher-order constraint logic programming
Projection in constraint logic programming
Efficient Constraint Solving in Dynamic Languages
Parallel constraint solving for combinatorial problems
Cutting planes in constraint logic programming
Preference based problem solving for constraint programming
Logic-based 0-1 constraint solving in constraint logic programming
Constraint solving for verification
Off-line compilation for efficient processing with constraint logic grammars
Solving linear graphical constraint expressions
Modern constraint answer set solving
Geometric constraint solving and applications
Higher-order constraint logic programming
Projection in constraint logic programming
Efficient Constraint Solving in Dynamic Languages
Parallel constraint solving for combinatorial problems
Cutting planes in constraint logic programming