Sketch-based pruning of a solution space within a formal geometric constraint solver

, &
Artificial Intelligence 124 (1):139-159 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(00)00061-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Branching and pruning: An optimal temporal POCL planner based on constraint programming.Vincent Vidal & Héctor Geffner - 2006 - Artificial Intelligence 170 (3):298-335.
Constraint‐Based Reasoning for Search and Explanation: Strategies for Understanding Variation and Patterns in Biology.Sara Green & Nicholaos Jones - 2016 - Dialectica 70 (3):343-374.
Kant, Kästner and the Distinction between Metaphysical and Geometric Space.Christian Onof & Dennis Schulting - 2014 - Kantian Review 19 (2):285-304.
A complex formulation of generalized Hamiltonian (Birkhoffian) theory.J. McEwan - 1993 - Foundations of Physics 23 (2):313-327.
A geometric approach to quantum mechanics.J. Anandan - 1991 - Foundations of Physics 21 (11):1265-1284.
Safe Bounds in Semidefinite Programming by Using Interval Arithmetic.Orkia Derkaoui - 2014 - American Journal of Operations Research 4:293-300.
Scalable smoothing strategies for a geometric multigrid method for the immersed boundary equations.Bhalla Aps, Knepley Mg, Adams Mf, Guy Rd & Griffith Be - unknown
Geometric Possibility.Gordon Belot - 2011 - Oxford, GB: Oxford University Press UK.
Life and Space Dimensionality: A Brief Review of Old and New Entangled Arguments.Francisco Caruso - 2016 - Journal of Astrobiology and Outreach 4 (2):152.
An Inventory Model under Space Constraint in Neutrosophic Environment: A Neutrosophic Geometric Programming Approach.Chaitali Kar, Bappa Mondal & T. K. Roy - 2018 - Neutrosophic Sets and Systems 21:93-109.
Weak One-Basedness.Gareth Boxall, David Bradley-Williams, Charlotte Kestner, Alexandra Omar Aziz & Davide Penazzi - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):435-448.
Vertical precedents in formal models of precedential constraint.Gabriel L. Broughton - 2019 - Artificial Intelligence and Law 27 (3):253-307.
Weakly one-based geometric theories.Alexander Berenstein & Evgueni Vassiliev - 2012 - Journal of Symbolic Logic 77 (2):392-422.
Alpha Beta Pruning.Joseph S. Fulda - 1985 - SIGART Newsletter 94:26.
Contradictions inherent in special relativity: Space varies.Kim Joosoak - manuscript

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,465,900)

6 months
5 (#648,432)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A geometric constraint engine.Glenn A. Kramer - 1992 - Artificial Intelligence 58 (1-3):327-360.

Add more references