On using bi-equational constraints in CAD construction.
Christopher W. BrownScott McCallumPublished in: ISSAC (2005)
Keyphrases
- computer aided design
- business intelligence
- computer aided
- object oriented
- theorem proving
- global constraints
- constrained optimization
- databases
- np hard
- construction process
- real time
- mixed integer
- theorem prover
- constraint programming
- constraint satisfaction
- information processing
- knowledge discovery
- probabilistic model
- data sources
- search algorithm