Equivalence Checking of Non-Binary Combinational Netlists.

Published in: VLSID (2022)

Keyphrases

non binary
constraint satisfaction problems
arc consistency
binary representation
frequent pattern mining
real world
expectation maximization
constraint programming
global constraints