Synthesis for Unbounded Bit-Vector Arithmetic.

Andrej Spielmann Viktor Kuncak

Published in: IJCAR (2012)

Keyphrases

bit vector
bit vectors
texture synthesis
real world
program synthesis
database
data sets
neural network
data mining
computer vision
information systems
three dimensional
data structure
digital libraries
floating point