ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk.

Chih-Jen Hsu Chi-An Wu Ching-Yi Huang Kei-Yong Khoo

Published in: ICCAD (2020)

Keyphrases

invited talk
benchmark suite
selected papers
computer aided design
program committee
knowledge discovery and data mining
coronary artery disease
computer aided
database
design process
object oriented
artificial neural networks
data mining
neural network
databases
computer graphics
equivalence relation