## A language and decision procedure for constraint-based design |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

A Language for ConstraintBased Design | 13 |

Extrema of Functions | 33 |

A Decision Procedure for ConstraintBased Design | 49 |

Copyright | |

3 other sections not shown

### Common terms and phrases

Argument list bearing design problem binary search tree branching factor Chapter Complexity Analysis compute extrema compute the extrema computer-aided design const constraint-based design construct convex hull decision procedure defined design space design specification design validation problem design variables discrete-valued dq/dxn E.max E.min end Figure entity definition eq to compute error bound evaluation exhaustive search exists expression grammar extrema algorithms extrema be given Function to compute functional constraint gear identifies all e-solutions incremental redesign integer interval language and decision Lemma lift force linear polynomial list for eq magnetic bearing design max.mag.prod min.ratio monomial NP-completeness OPS5 partition X partition Xm partitioning function partitioning performance polynomial constraints presented in Figure products of extrema Proof radical design real closed fields recursive partitioning algorithm requires resolution return extrema sign set solution space spec subentity subpartitions subproblem sums and products temporary variables term extrema terminal partition true extrema variable constraints variable domains viable partition