Inductive equivalence checking under retiming and resynthesis.

Jie-Hong Roland Jiang Wei-Lun Hung

Published in: ICCAD (2007)

Keyphrases

inductive learning
inductive logic programming
machine learning
knowledge representation
concept learning
inductive inference
real time
inductive reasoning
database
information retrieval
search engine
computer vision
interactive dynamic influence diagrams