Improving and extending the algebraic approach for verifying gate-level multipliers.

Daniela Ritirc Armin Biere Manuel Kauers

Published in: DATE (2018)

Keyphrases

image segmentation
hidden markov models
higher order
data sets
computer vision
web services
database systems
learning environment
information technology