- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
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
- Creator
-
Blanchette, Jasmin Christian
- Contributor
-
Fleury, Mathias
Lammich, Peter
Weidenbach, Christoph
SpringerLink (Online service)
- DOI
-
10.1007/s10817-018-9455-7
- URN
-
urn:nbn:de:1111-201805168249
- 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
- Blanchette, Jasmin Christian
- Fleury, Mathias
- Lammich, Peter
- Weidenbach, Christoph
- SpringerLink (Online service)
Other Objects (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 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
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 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
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 novel SAT solver for the Van der Waerden numbers
A continuous-time MaxSAT solver with high analog performance