Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System

Sanjay Bhansali, Tim J. Hoar. Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System. In KBSE. pages 11-18, 1995.

Abstract

Abstract is missing.