The Impact of Heterogeneous Logic on Adders and Multipliers in VTR.

Navid Jafarof Kenneth B. Kent

Published in: RSP (2023)

Keyphrases

modal logic
classical logic
multi valued
database
logical framework
data sets
artificial intelligence
optimal solution
logic programming
heterogeneous networks
automated reasoning
defeasible logic
set theory
multiple valued
delay insensitive