C
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 Nguyen
Michael S. Hsiao
Published in:
HLDVT (2012)
Keyphrases
</>
computationally efficient
online auctions
computationally expensive
integrity constraints
decision problems
filtering algorithm