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