Collaborated with:
S.Bhansali
Talks about:
constraint (1) satisfact (1) synthesi (1) knowledg (1) program (1) geometr (1) system (1) base (1)
Person: Tim J. Hoar
DBLP: Hoar:Tim_J=
Contributed to:
Wrote 1 papers:
- KBSE-1995-BhansaliH #constraints #geometry #knowledge-based #synthesis
- Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System (SB, TJH), pp. 11–18.