Variable and clause elimination for LTL satisfiability checking.

Published in: CoRR (2013)

Keyphrases

elimination algorithm
temporal logic
model checking
linear temporal logic
bounded model checking
genetic algorithm
database
neural network
bayesian networks
video sequences
logic programs
theorem prover
boolean formula