The Potential and Challenges of CAD with Equational Constraints for SC-Square.
James H. DavenportMatthew EnglandPublished in: CoRR (2017)
Keyphrases
- lessons learned
- computer aided
- current challenges
- constrained optimization
- theorem proving
- expert systems
- linear constraints
- application scenarios
- global constraints
- data sets
- key issues
- data mining
- constraint satisfaction
- image processing
- real world
- integrity constraints
- geometric constraints
- real time
- computer graphics
- data model
- computer aided design
- database