A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality ; day:12 ; month:3 ; year:2018 ; pages:1-33
Journal of automated reasoning ; (12.3.2018), 1-33
- Urheber
-
Blanchette, Jasmin Christian
- Beteiligte Personen und Organisationen
-
Fleury, Mathias
Lammich, Peter
Weidenbach, Christoph
SpringerLink (Online service)
- DOI
-
10.1007/s10817-018-9455-7
- URN
-
urn:nbn:de:1111-201805168249
- 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
- Blanchette, Jasmin Christian
- Fleury, Mathias
- Lammich, Peter
- Weidenbach, Christoph
- SpringerLink (Online service)
Ähnliche Objekte (12)
Efficient Verified (UN)SAT Certificate Checking
A Verified ODE Solver and the Lorenz Attractor
A Verified ODE Solver and Smale's 14th Problem
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 continuous-time MaxSAT solver with high analog performance
A novel SAT solver for the Van der Waerden numbers
A parallel portfolio SAT solver with lockless physical clause sharing
Efficient Verified (UN)SAT Certificate Checking
A Verified ODE Solver and the Lorenz Attractor
A Verified ODE Solver and Smale's 14th Problem
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 continuous-time MaxSAT solver with high analog performance
A novel SAT solver for the Van der Waerden numbers
A parallel portfolio SAT solver with lockless physical clause sharing
Efficient Verified (UN)SAT Certificate Checking
A Verified ODE Solver and the Lorenz Attractor
A Verified ODE Solver and Smale's 14th Problem
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 continuous-time MaxSAT solver with high analog performance
A novel SAT solver for the Van der Waerden numbers