SAT Meets Tableaux for Linear Temporal Logic Satisfiability.
Luca GeattiNicola GiganteAngelo MontanariGabriele VenturatoPublished in: J. Autom. Reason. (2024)
Keyphrases
- linear temporal logic
- satisfiability problem
- temporal logic
- modal logic
- decision procedures
- sat problem
- model checking
- bounded model checking
- sat instances
- stochastic local search
- concurrent systems
- davis putnam logemann loveland
- inference rules
- max sat
- situation calculus
- boolean satisfiability
- belief revision
- propositional satisfiability
- phase transition
- transition systems
- formal verification
- cnf formula
- np complete
- formal specification
- sat encodings
- sat solving
- learning algorithm