3 search results - page 1 / 1 » tapsoft 1989 |
83
Voted
TAPSOFT
1989
Springer
15 years 6 months ago
1989
Springer
81
Voted
TAPSOFT
1989
Springer
15 years 6 months ago
1989
Springer
103
Voted
TAPSOFT
1989
Springer
15 years 6 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...