Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

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

@inproceedings{BhansaliH95,
  title = {Knowledge-Based Program Synthesis for a Geometric Constraint Satisfaction System},
  author = {Sanjay Bhansali and Tim J. Hoar},
  year = {1995},
  tags = {rule-based, constraints},
  researchr = {https://researchr.org/publication/BhansaliH95},
  cites = {0},
  citedby = {0},
  pages = {11-18},
  booktitle = {KBSE},
}

runs on WebDSL