55 search results - page 2 / 11 » Abduction of Linear Arithmetic Constraints |
SODA
1998
ACM
13 years 6 months ago
1998
ACM
We describe a new exact-arithmetic approach to linear programming when the number of variables n is much larger than the number of constraints m (or vice versa). The algorithm is ...
UIST
1997
ACM
13 years 9 months ago
1997
ACM
Linear equality and inequality constraints arise naturally in specifying many aspects of user interfaces, such as requiring that one window be to the left of another, requiring th...
FSTTCS
2006
Springer
13 years 9 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
CAV
2007
Springer
13 years 11 months ago
2007
Springer
CORR
2008
Springer
13 years 5 months ago
2008
Springer
Abstract. Arithmetic automata recognize infinite words of digits denoting decompositions of real and integer vectors. These automata are known expressive and efficient enough to re...