Login / Signup

Sequential equivalence checking based on k-th invariants and circuit SAT solving.

Feng LuKwang-Ting (Tim) Cheng
Published in: HLDVT (2005)
Keyphrases
  • sat solving
  • sat solvers
  • boolean satisfiability
  • max sat
  • sat problem
  • boolean optimization
  • learning algorithm
  • evolutionary algorithm
  • domain specific
  • search tree