The Potential and Challenges of CAD with Equational Constraints for SC-Square.
James H. DavenportMatthew EnglandPublished in: MACIS (2017)
Keyphrases
- computer aided design
- linear constraints
- key issues
- theorem proving
- real time
- computer aided
- technical challenges
- current challenges
- potential impact
- open issues
- geometric constraints
- lessons learned
- databases
- constraint programming
- constraint networks
- object oriented
- image segmentation
- artificial intelligence
- real world