- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Ulmer Informatik-Berichte ; Nr. 2008,03
- Classification
-
Mathematik
- Keyword
-
CHR
Constraint-Programmierung
- Event
-
Veröffentlichung
- (where)
-
Ulm
- (who)
-
Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
- (when)
-
2008
- Creator
-
Raiser, Franz
- URN
-
urn:nbn:de:bsz:289-vts-63227
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:46 PM CET
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.
Associated
- Raiser, Franz
- Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
Time of origin
- 2008
Other Objects (12)
Optimisation Techniques for Combining Constraint Solvers
Cooperation and coordination of constraint solvers
Algorithm selection, scheduling and configuration of Boolean constraint solvers
On the combination of symbolic constraints, solution domains, and constraint solvers
Automatic & Semi-Automatic Methods for Supporting Ontology Change
Semi-automatic segmentation of medical imagery
A numerical framework for semi-automated reduced basis methods with blackbox solvers
Semi-Linear Lattices and Right One-Way Jumping Finite Automata
Traces, interpolants, and automata : a new approach to automatic software verification
Semi-automatic labeling of mobile device sensor data
Fast Semi-Iterative Finite Element Poisson Solvers for Tensor Core GPUs Based on Prehandling
Semi-Automatic Mapping of Structured Data to Visual Variables
Optimisation Techniques for Combining Constraint Solvers
Cooperation and coordination of constraint solvers
Algorithm selection, scheduling and configuration of Boolean constraint solvers
On the combination of symbolic constraints, solution domains, and constraint solvers
Automatic & Semi-Automatic Methods for Supporting Ontology Change
Semi-automatic segmentation of medical imagery
A numerical framework for semi-automated reduced basis methods with blackbox solvers
Semi-Linear Lattices and Right One-Way Jumping Finite Automata
Traces, interpolants, and automata : a new approach to automatic software verification
Semi-automatic labeling of mobile device sensor data
Fast Semi-Iterative Finite Element Poisson Solvers for Tensor Core GPUs Based on Prehandling
Semi-Automatic Mapping of Structured Data to Visual Variables
Optimisation Techniques for Combining Constraint Solvers
Cooperation and coordination of constraint solvers
Algorithm selection, scheduling and configuration of Boolean constraint solvers
On the combination of symbolic constraints, solution domains, and constraint solvers
Automatic & Semi-Automatic Methods for Supporting Ontology Change
Semi-automatic segmentation of medical imagery
A numerical framework for semi-automated reduced basis methods with blackbox solvers
Semi-Linear Lattices and Right One-Way Jumping Finite Automata
Traces, interpolants, and automata : a new approach to automatic software verification
Semi-automatic labeling of mobile device sensor data
Fast Semi-Iterative Finite Element Poisson Solvers for Tensor Core GPUs Based on Prehandling