Login / Signup

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