Reasoning about linear constraints using parametric queries
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Fourier algorithm revisitedPublished by Springer Nature ,1990
- Parametric queries, linear constraints and variable eliminationPublished by Springer Nature ,1990
- Simplification and Abstraction of Kinematic BehaviorsPublished by Elsevier ,1990
- Reasoning about the kinematics of mechanical devicesArtificial Intelligence in Engineering, 1989
- An algorithm for planning collision-free paths among polyhedral obstaclesCommunications of the ACM, 1979