• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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