SAT meets tableaux for linear temporal logic satisfiability

DOI10.1007/s10817-023-09691-1MaRDI QIDQ6611959

Angelo Montanari, Nicola Gigante, Unnamed Author, Luca Geatti

Publication date: 27 September 2024

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

tableauxlinear temporal logicSAT

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: SAT meets tableaux for linear temporal logic satisfiability