Separability of polyhedra for optimal filtering of spatial and constraint data
- Alexander Brodsky
- Catherine Lassez
- et al.
- 1999
- Journal of Automated Reasoning
Publications
Date
Featured collections
Popular topics
6 results for Michael J. Maher
Oracle semantics for prolog
- Roberto Barbuti
- Michael Codish
- et al.
- 1995
- Information and Computation
On inductive inference of cyclic structures
- Michael J. Maher
- Peter J. Stuckey
- 1995
- Ann. Math. Artif. Intell.
Projecting CLP R constraints
- Joxan Jaffar
- Michael J. Maher
- et al.
- 1993
- New Generation Computing
A transformation system for deductive database modules with perfect model semantics
- Michael J. Maher
- 1993
- Theoretical Computer Science
On Fourier's algorithm for linear arithmetic constraints
- Jean-Louis Lassez
- Michael J. Maher
- 1992
- Journal of Automated Reasoning