Login / Signup

Variable and Clause Elimination for LTL Satisfiability Checking.

Martin Suda
Published in: Math. Comput. Sci. (2015)
Keyphrases
  • elimination algorithm
  • model checking
  • temporal logic
  • linear temporal logic
  • bounded model checking
  • neural network
  • learning algorithm
  • domain specific
  • orders of magnitude
  • boolean variables