210 search results - page 2 / 42 » Widening Integer Arithmetic |
CC
2005
Springer
13 years 5 months ago
2005
Springer
Let (n) be the minimum number of arithmetic operations required to build the integer n N from the constants 1 and 2. A sequence xn is said to be "easy to compute" if the...
CSCLP
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. We propose here a number of approaches to implement constraint propagation for arithmetic constraints on integer intervals. To this end we introduce integer interval arit...
CIE
2009
Springer
13 years 9 months ago
2009
Springer
An arithmetic circuit is a labelled, directed, acyclic graph specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. In this pap...
SPIN
2012
Springer
11 years 7 months ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in verification. We present SMTInterpol, an interpolating SMT solver for the quanti...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
We give an O(N