1998 | ||
---|---|---|
4 | EE | Sanjay Bhansali, Tim J. Hoar: Automated Software Synthesis: An Application in Mechanical CAD. IEEE Trans. Software Eng. 24(10): 848-862 (1998) |
1996 | ||
3 | EE | Sanjay Bhansali, Glenn A. Kramer, Tim J. Hoar: A Principled Approach Towards Symbolic Geometric Constraint Satisfaction CoRR cs.AI/9606101: (1996) |
2 | Sanjay Bhansali, Glenn A. Kramer, Tim J. Hoar: A Principled Approach Towards Symbolic Geometric Constraint Satisfaction. J. Artif. Intell. Res. (JAIR) 4: 419-443 (1996) | |
1995 | ||
1 | Sanjay Bhansali, Tim J. Hoar: Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System. KBSE 1995: 11-18 |
1 | Sanjay Bhansali | [1] [2] [3] [4] |
2 | Glenn A. Kramer | [2] [3] |