Propositional Temporal Proving with Reductions to a SAT Problem

DOI10.1007/978-3-642-38574-2_30zbMath1381.68277OpenAlexW1849580669MaRDI QIDQ4928457

No author found.

Publication date: 14 June 2013

Published in: Automated Deduction – CADE-24 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38574-2_30

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Temporal logic (03B44)

Related Items (1)

SAT-based explicit LTL reasoning and its application to satisfiability checking

This page was built for publication: Propositional Temporal Proving with Reductions to a SAT Problem