Caz Saaltink

According to our database¹, Caz Saaltink authored at least 3 papers between 2023 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

Artifact for the paper Solving Queries for Boolean Fault Tree Logic via Quantified SAT.

[BibT_eX]

[DOI]

Dataset, April, 2024

2023

Artifact for the paper Solving Queries for Boolean Fault Tree Logic via Quantified SAT.

[BibT_eX]

[DOI]

Dataset, July, 2023

Solving Queries for Boolean Fault Tree Logic via Quantified SAT.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2023