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

Sufficiency-based filtering of invariants for Sequential Equivalence Checking.

Wei HuHuy NguyenMichael S. Hsiao
Published in: HLDVT (2011)
Keyphrases
  • filtering algorithm
  • adaptive filtering
  • data sets
  • artificial intelligence
  • filtering method
  • consistency checking
  • linear filtering
  • data structure
  • search algorithm
  • color images
  • affine invariant
  • datalog programs