Login / Signup

Supporting SAT based BMC on Finite Path Models.

Daniel GeistMark GinzburgYoad LustigIshai RabinovitzOhad ShachamRachel Tzoref
Published in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
  • prior knowledge
  • probabilistic model
  • statistical models
  • sat solvers
  • accurate models
  • data sets
  • parameter estimation
  • optimal path