55 search results - page 4 / 11 » Abduction of Linear Arithmetic Constraints |
VMCAI
2007
Springer
14 years 1 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
TAPSOFT
1989
Springer
13 years 10 months ago
1989
Springer
In the 1820's Fourier provided the first algorithm for solving linear arithmetic constraints. In other words, this algorithm determines whether or not the polyhedral set asso...
ISIPTA
2005
IEEE
14 years 28 days ago
2005
IEEE
Uncertainty is a key issue in decision analysis and other kinds of applications. Researchers have developed a number of approaches to address computations on uncertain quantities....
ESORICS
2010
Springer
13 years 7 months ago
2010
Springer
Collaborative optimization problems can often be modeled as a linear program whose objective function and constraints combine data from several parties. However, important applicat...
VMCAI
2007
Springer
14 years 1 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...