- Weitere Titel
-
Soft-Computing-Ansätze für DPLL-SAT-Solver-Optimierung
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Darmstadt, Technische Universität Darmstadt, Dissertation, 2011
- Ereignis
-
Veröffentlichung
- (wo)
-
Darmstadt
- (wer)
-
Universitäts- und Landesbibliothek Darmstadt
- (wann)
-
2011
- Urheber
- Beteiligte Personen und Organisationen
-
Eveking, Hans
- URN
-
urn:nbn:de:tuda-tuprints-27597
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:47 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Kibria, Raihan Hassnain
- Eveking, Hans
- Universitäts- und Landesbibliothek Darmstadt
Entstanden
- 2011
Ähnliche Objekte (12)
Boolsche Gleichungssysteme, SAT Solver und Stromchiffren
Soft computing approaches in chemistry
Executing Underspecified OCL Operation Contracts with a SAT Solver
Executing Underspecified OCL Operation Contracts with a SAT Solver
Handwriting recognition : soft computing and probabilistic approaches
Generating Extended Resolution Proofs with a BDD-Based SAT Solver
A parallel portfolio SAT solver with lockless physical clause sharing
A novel SAT solver for the Van der Waerden numbers
A continuous-time MaxSAT solver with high analog performance
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
Soft computing in communications
One Solver to Rule All Feature Models — Or Not? : Addressing the Algorithm Selection Problem for #SAT
Boolsche Gleichungssysteme, SAT Solver und Stromchiffren
Soft computing approaches in chemistry
Executing Underspecified OCL Operation Contracts with a SAT Solver
Executing Underspecified OCL Operation Contracts with a SAT Solver
Handwriting recognition : soft computing and probabilistic approaches
Generating Extended Resolution Proofs with a BDD-Based SAT Solver
A parallel portfolio SAT solver with lockless physical clause sharing
A novel SAT solver for the Van der Waerden numbers
A continuous-time MaxSAT solver with high analog performance
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
Soft computing in communications
One Solver to Rule All Feature Models — Or Not? : Addressing the Algorithm Selection Problem for #SAT
Boolsche Gleichungssysteme, SAT Solver und Stromchiffren
Soft computing approaches in chemistry
Executing Underspecified OCL Operation Contracts with a SAT Solver
Executing Underspecified OCL Operation Contracts with a SAT Solver
Handwriting recognition : soft computing and probabilistic approaches
Generating Extended Resolution Proofs with a BDD-Based SAT Solver
A parallel portfolio SAT solver with lockless physical clause sharing
A novel SAT solver for the Van der Waerden numbers
A continuous-time MaxSAT solver with high analog performance
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
Soft computing in communications