Login / Signup

Sequential equivalence checking of hard instances with targeted inductive invariants and efficient filtering strategies.

Huy NguyenMichael S. Hsiao
Published in: HLDVT (2012)
Keyphrases
  • computationally efficient
  • online auctions
  • computationally expensive
  • integrity constraints
  • decision problems
  • filtering algorithm