Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation).

Iago Abal Alcino Cunha Joe Hurd Jorge Sousa Pinto

Published in: SAT (2012)

Keyphrases

bit vector
term rewriting
databases
machine learning
neural network
artificial intelligence
natural language
theorem proving