One Solver to Rule All Feature Models — Or Not? : Addressing the Algorithm Selection Problem for #SAT
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Ulm, Universität Ulm, Bachelorarbeit, 2024
- Keyword
-
Maschinelles Lernen
- Event
-
Veröffentlichung
- (where)
-
Ulm
- (who)
-
Universität Ulm
- (when)
-
2024
- Creator
-
Dunkel, Raphael
- DOI
-
10.18725/OPARU-52711
- URN
-
urn:nbn:de:bsz:289-oparu-52787-2
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:53 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.
Associated
- Dunkel, Raphael
- Universität Ulm
Time of origin
- 2024
Other Objects (12)
Boolsche Gleichungssysteme, SAT Solver und Stromchiffren
Soft Computing Approaches to DPLL SAT Solver Optimization
A Fast Parallel SAT-Solver - Efficient Workload Balancing
Executing Underspecified OCL Operation Contracts with a SAT Solver
Executing Underspecified OCL Operation Contracts with a SAT Solver
Generating Extended Resolution Proofs with a BDD-Based SAT Solver
A novel SAT solver for the Van der Waerden numbers
A continuous-time MaxSAT solver with high analog performance
A parallel portfolio SAT solver with lockless physical clause sharing
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
IGMaxHS - An Incremental MaxSAT Solver with Support for XOR Clauses
From SAT to SAT-UNSAT using P systems with dissolution rules
Boolsche Gleichungssysteme, SAT Solver und Stromchiffren
Soft Computing Approaches to DPLL SAT Solver Optimization
A Fast Parallel SAT-Solver - Efficient Workload Balancing
Executing Underspecified OCL Operation Contracts with a SAT Solver
Executing Underspecified OCL Operation Contracts with a SAT Solver
Generating Extended Resolution Proofs with a BDD-Based SAT Solver
A novel SAT solver for the Van der Waerden numbers
A continuous-time MaxSAT solver with high analog performance
A parallel portfolio SAT solver with lockless physical clause sharing
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
IGMaxHS - An Incremental MaxSAT Solver with Support for XOR Clauses
From SAT to SAT-UNSAT using P systems with dissolution rules
Boolsche Gleichungssysteme, SAT Solver und Stromchiffren
Soft Computing Approaches to DPLL SAT Solver Optimization
A Fast Parallel SAT-Solver - Efficient Workload Balancing
Executing Underspecified OCL Operation Contracts with a SAT Solver
Executing Underspecified OCL Operation Contracts with a SAT Solver
Generating Extended Resolution Proofs with a BDD-Based SAT Solver
A novel SAT solver for the Van der Waerden numbers
A continuous-time MaxSAT solver with high analog performance
A parallel portfolio SAT solver with lockless physical clause sharing
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
IGMaxHS - An Incremental MaxSAT Solver with Support for XOR Clauses