Algorithm selection, scheduling and configuration of Boolean constraint solvers
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Potsdam, Universität Potsdam, Dissertation, 2015
- Keyword
-
Scheduling
- Event
-
Veröffentlichung
- (where)
-
Potsdam
- (who)
-
Universität Potsdam
- (when)
-
2015
- Creator
- Contributor
-
Schaub, Torsten
Hoos, Holger
- URN
-
urn:nbn:de:kobv:517-opus4-71260
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:54 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
- Lindauer, Marius
- Schaub, Torsten
- Hoos, Holger
- Universität Potsdam
Time of origin
- 2015
Other Objects (12)
Combinations of Boolean Gröbner Bases and SAT Solvers
Optimisation Techniques for Combining Constraint Solvers
Cooperation and coordination of constraint solvers
Semi-automatic generation of CHR solvers from global constraint automata
Skalierbare parallele Verfahren zur Boolean Constraint Propagation auf Multicore-Architekturen
Evaluating state-of-the-art #SAT solvers on industrial configuration spaces
On the combination of symbolic constraints, solution domains, and constraint solvers
Pseudo-Boolean Constraint Encodings for Conjunctive Normal Form and their Applications
Pseudo-Boolean constraint encodings for conjunctive normal form and their applications
A boolean satisfiability approach to the resource-constrained project scheduling problem
Feature constraint propagation along configuration links for advanced feature models
Model based scheduling and configuration of heterogeneous parallel systems
Combinations of Boolean Gröbner Bases and SAT Solvers
Optimisation Techniques for Combining Constraint Solvers
Cooperation and coordination of constraint solvers
Semi-automatic generation of CHR solvers from global constraint automata
Skalierbare parallele Verfahren zur Boolean Constraint Propagation auf Multicore-Architekturen
Evaluating state-of-the-art #SAT solvers on industrial configuration spaces
On the combination of symbolic constraints, solution domains, and constraint solvers
Pseudo-Boolean Constraint Encodings for Conjunctive Normal Form and their Applications
Pseudo-Boolean constraint encodings for conjunctive normal form and their applications
A boolean satisfiability approach to the resource-constrained project scheduling problem
Feature constraint propagation along configuration links for advanced feature models
Model based scheduling and configuration of heterogeneous parallel systems
Combinations of Boolean Gröbner Bases and SAT Solvers
Optimisation Techniques for Combining Constraint Solvers
Cooperation and coordination of constraint solvers
Semi-automatic generation of CHR solvers from global constraint automata
Skalierbare parallele Verfahren zur Boolean Constraint Propagation auf Multicore-Architekturen
Evaluating state-of-the-art #SAT solvers on industrial configuration spaces
On the combination of symbolic constraints, solution domains, and constraint solvers
Pseudo-Boolean Constraint Encodings for Conjunctive Normal Form and their Applications
Pseudo-Boolean constraint encodings for conjunctive normal form and their applications
A boolean satisfiability approach to the resource-constrained project scheduling problem
Feature constraint propagation along configuration links for advanced feature models