Beyond finite domains

This publication has 11 references indexed in Scilit:

• On Fourier's algorithm for linear arithmetic constraints
  Journal of Automated Reasoning, 1992
• A generic arc-consistency algorithm and its specializations
  Artificial Intelligence, 1992
• A practical algorithm for exact array dependence analysis
  Communications of the ACM, 1992
• The CLP( ℛ ) language and system
  ACM Transactions on Programming Languages and Systems, 1992
• Improved algorithms for linear inequalities with two variables per inequality
  Published by Association for Computing Machinery (ACM) ,1991
• A closed form for datalog queries with integer order
  Published by Springer Nature ,1990
• The Computational Complexity of Simultaneous Diophantine Approximation Problems
  SIAM Journal on Computing, 1985
• Deciding Linear Inequalities by Computing Loop Residues
  Journal of the ACM, 1981
• A Polynomial Time Algorithm for Solving Systems of Linear Inequalities with Two Variables Per Inequality
  SIAM Journal on Computing, 1980
• On the SUP-INF Method for Proving Presburger Formulas
  Journal of the ACM, 1977