Term-Level Reasoning in Support of Bit-blasting.

Published in: ACL2 (2017)

Keyphrases

knowledge base
database
machine learning
neural network
website
high level
multiple representations
web services
decision support
levels of abstraction
spatial reasoning