Rei Odaira, Jose G. Castanos, et al.
IISWC 2013
In the 1820s Fourier provided the first algorithm for solving linear arithmetic constraints. In other words, this algorithm determines whether or not the polyhedral set associated with the constraints is empty. We show here that Fourier's algorithm has an important hidden property: in effect it also computes the affine hull of the polyhedral set. This result is established by making use of a recent theorem on the independence of negative constraints. © 1992 Kluwer Academic Publishers.
Rei Odaira, Jose G. Castanos, et al.
IISWC 2013
Sashi Novitasari, Takashi Fukuda, et al.
INTERSPEECH 2025
Els van Herreweghen, Uta Wille
USENIX Workshop on Smartcard Technology 1999
Albert Atserias, Anuj Dawar, et al.
Journal of the ACM