Sciweavers

4359 search results - page 138 / 872
» Automated Pipeline Design
Sort
View
DAC
2003
ACM
14 years 10 months ago
A fast pseudo-boolean constraint solver
Donald Chai, Andreas Kuehlmann
DAC
2003
ACM
14 years 10 months ago
Generalized cofactoring for logic function evaluation
Yunjian Jiang, Slobodan Matic, Robert K. Brayton