Hochschulschrift
SAT Compilation for Constraints over Structured Finite Domains
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Dresden, Technische Universität Dresden, Dissertation, 2017
- Classification
-
Informatik
- Keyword
-
Compiler
Aussagenlogik
HASKELL
- Event
-
Veröffentlichung
- (where)
-
Dresden
- (who)
-
Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
- (when)
-
2017
- Event
-
Veröffentlichung
- (where)
-
Dresden
- (who)
-
Technische Universität Dresden
- (when)
-
2017
- Creator
- Contributor
-
Waldmann, Johannes
Vogler, Heiko
Fuhs, Carsten
- URN
-
urn:nbn:de:bsz:14-qucosa-221884
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:55 AM 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
- Bau, Alexander
- Waldmann, Johannes
- Vogler, Heiko
- Fuhs, Carsten
- Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
- Technische Universität Dresden
Time of origin
- 2017
Other Objects (12)
On the compilation of consistency constraints : (Extended abstract)
Compilation and Annotation of the Discourse-structured Blog Corpus for German
Compilation and Annotation of the Discourse-structured Blog Corpus for German
Homogenization of diffusion in strongly structured domains
Auto-generated structured meshes for evolving domains
Basidiomycete non-reducing polyketide synthases function independently of SAT domains
SAT-based verification : from core algorithms to novel application domains
A Discourse-structured Blog Corpus for German: Challenges of Compilation and Annotation
A Discourse-structured Blog Corpus for German: Challenges of Compilation and Annotation
Compilation
Compilation
The Impact of Implied Constraints on MaxSAT B2B Instances
On the compilation of consistency constraints : (Extended abstract)
Compilation and Annotation of the Discourse-structured Blog Corpus for German
Compilation and Annotation of the Discourse-structured Blog Corpus for German
Homogenization of diffusion in strongly structured domains
Auto-generated structured meshes for evolving domains
Basidiomycete non-reducing polyketide synthases function independently of SAT domains
SAT-based verification : from core algorithms to novel application domains
A Discourse-structured Blog Corpus for German: Challenges of Compilation and Annotation
A Discourse-structured Blog Corpus for German: Challenges of Compilation and Annotation
Compilation
Compilation
The Impact of Implied Constraints on MaxSAT B2B Instances
On the compilation of consistency constraints : (Extended abstract)
Compilation and Annotation of the Discourse-structured Blog Corpus for German
Compilation and Annotation of the Discourse-structured Blog Corpus for German
Homogenization of diffusion in strongly structured domains
Auto-generated structured meshes for evolving domains
Basidiomycete non-reducing polyketide synthases function independently of SAT domains
SAT-based verification : from core algorithms to novel application domains
A Discourse-structured Blog Corpus for German: Challenges of Compilation and Annotation
A Discourse-structured Blog Corpus for German: Challenges of Compilation and Annotation
Compilation
Compilation