ESPRESSO-SIGNATURE: A New Exact Minimizer for Logic Functions

By P. McGeer, J. Sanghavi, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli. 1993

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Kush R. Varshney
2. Guolong Su
3. Dennis Wei
4. Dmitry M. Malioutov
5. Cynthia Rudin
6. Sanjeeb Dash
7. Tong Wang
8. Nadia Burkart

Citations in the corpus

• Interpretable Two-level Boolean Rule Learning for Classification (2015, background): “Fourth, two-level logic optimization in circuit design [12] considers simplifying two-level rules that exactly match a given truth table.”