Algorithm selection, scheduling and configuration of Boolean constraint solvers
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Potsdam, Universität Potsdam, Dissertation, 2015
- Schlagwort
-
Scheduling
- Ereignis
-
Veröffentlichung
- (wo)
-
Potsdam
- (wer)
-
Universität Potsdam
- (wann)
-
2015
- Urheber
- Beteiligte Personen und Organisationen
-
Schaub, Torsten
Hoos, Holger
- URN
-
urn:nbn:de:kobv:517-opus4-71260
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:54 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Lindauer, Marius
- Schaub, Torsten
- Hoos, Holger
- Universität Potsdam
Entstanden
- 2015
Ähnliche Objekte (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