3 search results - page 1 / 1 » tapsoft 1989 |
TAPSOFT
1989
Springer
13 years 10 months ago
1989
Springer
TAPSOFT
1989
Springer
13 years 10 months ago
1989
Springer
TAPSOFT
1989
Springer
13 years 9 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...