On Fourier's Algorithm for Linear Arithmetic Constraints

Authors
J.L.Lassez,M.J.Maher
Citation
J.l.lassez,m.j.maher, On Fourier's Algorithm for Linear Arithmetic Constraints, Journal of automated reasoning , 9(3), 1992, pp. 373-380
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
9
Issue
3
Year of publication
1992
Pages
373 - 380
Database
ACNP
SICI code