- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Efficient Verified (UN)SAT Certificate Checking ; day:4 ; month:6 ; year:2019 ; pages:1-20
Journal of automated reasoning ; (4.6.2019), 1-20
- Creator
-
Lammich, Peter
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-019-09525-z
- URN
-
urn:nbn:de:101:1-2019092401071301357927
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:33 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
- Lammich, Peter
- SpringerLink (Online service)
Other Objects (12)
cake_lpr: Verified Propagation Redundancy Checking in CakeML
Symbolic Causality Checking Using SAT-Solving
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML
Towards Symbolic Causality Checking using SAT-Solving
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
verifiedSCION: Verified Secure Routing
Efficient distributed bounded property checking
Certificate
Efficient Strategies for CEGAR-Based Model Checking
Gale-Shapley Verified
The Certificate
Efficient software model checking of data structure properties
cake_lpr: Verified Propagation Redundancy Checking in CakeML
Symbolic Causality Checking Using SAT-Solving
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML
Towards Symbolic Causality Checking using SAT-Solving
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
verifiedSCION: Verified Secure Routing
Efficient distributed bounded property checking
Certificate
Efficient Strategies for CEGAR-Based Model Checking
Gale-Shapley Verified
The Certificate
Efficient software model checking of data structure properties
cake_lpr: Verified Propagation Redundancy Checking in CakeML
Symbolic Causality Checking Using SAT-Solving
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML
Towards Symbolic Causality Checking using SAT-Solving
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality
verifiedSCION: Verified Secure Routing
Efficient distributed bounded property checking
Certificate
Efficient Strategies for CEGAR-Based Model Checking
Gale-Shapley Verified
The Certificate