Improving Performance of a Path-Based Equivalence Checker Using Counter-Examples.

Ramanuj Chouksey Chandan Karfa Purandar Bhaduri

Published in: VLSI Design (2019)

Keyphrases

counter examples
logic programs
answer sets
spectral clustering
machine learning
information systems
multiscale
data structure
logic programming
orders of magnitude