Next:
Supported design stage
Up:
The Algebraic Under Constraint
Previous:
Introduction
Algebraic under constraint solver
Supported design stage
Provided facilities
Architecture of the algebraic under constraint solver
Symbolic part
Reduction tree
Design variables whose values should be changed
Numeric part
IMACS ACA'98 Electronic Proceedings
