Login / Signup
On Intervals and Bounds in Bit-vector Arithmetic.
Mikolás Janota
Christoph M. Wintersteiger
Published in:
SMT@IJCAR (2016)
Keyphrases
</>
bit vector
upper bound
bit vectors
lower bound
upper and lower bounds
arithmetic operations
real numbers
tight bounds
dense datasets
real world
data mining
worst case
real time
interval data
vc dimension
rates of convergence
lower and upper bounds
error bounds
database systems
case study
neural network