Fourier Algorithm Revisited

Authors:
Tien Huynh;Catherine Lassez;Jean-Louis Lassez
Affiliations:
-;-;-
Venue:
Proceedings of the Second International Conference on Algebraic and Logic Programming
Year:
1990

On the decidability of semi-linearity for semi-algebraic sets and its implications for spatial databases (extended abstract)

PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On Identifying Simple and Quantified Lattice Points in the 2SAT Polytope

AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Optimal Length Resolution Refutations of Difference Constraint Systems

Journal of Automated Reasoning

Hi-index	0.00