Login / Signup

Parallel SAT Solving in Bounded Model Checking.

Erika ÁbrahámTobias SchubertBernd BeckerMartin FränzleChristian Herde
Published in: J. Log. Comput. (2011)
Keyphrases
  • sat solving
  • bounded model checking
  • model checking
  • sat solvers
  • formal verification
  • sat problem
  • boolean satisfiability
  • linear temporal logic
  • genetic algorithm
  • multi agent systems
  • upper bound
  • np complete