Combinational equivalence checking through function transformation.

Hee-Hwan Kwak In-Ho Moon James H. Kukula Thomas R. Shiple

Published in: ICCAD (2002)

Keyphrases

neural network
artificial intelligence
optimal solution
mobile robot
image registration
np complete
piecewise linear