- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0670
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Efficient Verified (UN)SAT Certificate Checking ; day:4 ; month:6 ; year:2019 ; pages:1-20
Journal of automated reasoning ; (4.6.2019), 1-20
- Urheber
-
Lammich, Peter
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-019-09525-z
- URN
-
urn:nbn:de:101:1-2019092401071301357927
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:33 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
- Lammich, Peter
- SpringerLink (Online service)
Ähnliche Objekte (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