One Solver to Rule All Feature Models — Or Not? : Addressing the Algorithm Selection Problem for #SAT
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Ulm, Universität Ulm, Bachelorarbeit, 2024
- Schlagwort
-
Maschinelles Lernen
- Ereignis
-
Veröffentlichung
- (wo)
-
Ulm
- (wer)
-
Universität Ulm
- (wann)
-
2024
- Urheber
-
Dunkel, Raphael
- DOI
-
10.18725/OPARU-52711
- URN
-
urn:nbn:de:bsz:289-oparu-52787-2
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:53 MESZ
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
- Dunkel, Raphael
- Universität Ulm
Entstanden
- 2024
Ähnliche Objekte (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