by Ashar Djaloeis (Author), A. Richard Newton (Author), S. Devadas (Author)
2 Input Encoding Targeting Two-Level Logic . 3 Satisfying Encoding Constraints . 3 Row-Based Constraint Satisfaction . 4 Constraint Satisfaction Using Dichotomies . 3 Heuristics to Minimize the Number of Encoding Bits . 3 Dominance and Disjunctive Relationships to S- isfy Constraints .
Format: Illustrated
Pages: 252
Edition: 1992
Publisher: Springer
Published: 30 Nov 1991
ISBN 10: 079239187X
ISBN 13: 9780792391876