zweidimensionales bewegtes Bild
Generating Extended Resolution Proofs with a BDD-Based SAT Solver
- Standort
-
Hannover TIB
- Umfang
-
113MB, 00:16:53:08 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 ; (Jan. 2021)
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Bryant, Randy E.
Heule, Marijn J. H.
- DOI
-
10.5446/54973
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Bryant, Randy E.
- Heule, Marijn J. H.
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
Generating Multilingual Proofs
Boolsche Gleichungssysteme, SAT Solver und Stromchiffren
Soft Computing Approaches to DPLL SAT Solver Optimization
Executing Underspecified OCL Operation Contracts with a SAT Solver
Executing Underspecified OCL Operation Contracts with a SAT Solver
The complexity of generating and checking proofs of membership
A parallel portfolio SAT solver with lockless physical clause sharing
BDD-Protokolle
BdD. Sekretariatsbesprechungen
BdD. Materialsammlung
BdD. Abschluss
BdD. Auslandskontakte
Generating Multilingual Proofs
Boolsche Gleichungssysteme, SAT Solver und Stromchiffren
Soft Computing Approaches to DPLL SAT Solver Optimization
Executing Underspecified OCL Operation Contracts with a SAT Solver
Executing Underspecified OCL Operation Contracts with a SAT Solver
The complexity of generating and checking proofs of membership
A parallel portfolio SAT solver with lockless physical clause sharing
BDD-Protokolle
BdD. Sekretariatsbesprechungen
BdD. Materialsammlung
BdD. Abschluss
BdD. Auslandskontakte
Generating Multilingual Proofs
Boolsche Gleichungssysteme, SAT Solver und Stromchiffren
Soft Computing Approaches to DPLL SAT Solver Optimization
Executing Underspecified OCL Operation Contracts with a SAT Solver
Executing Underspecified OCL Operation Contracts with a SAT Solver
The complexity of generating and checking proofs of membership
A parallel portfolio SAT solver with lockless physical clause sharing
BDD-Protokolle
BdD. Sekretariatsbesprechungen
BdD. Materialsammlung
BdD. Abschluss