Proof theory of many-valued logic—linear optimization—logic design: connections and interactions

By Reiner Hähnle. 1997

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

• Learning sparse two-level boolean rules (2016, background): “The “OR” function has the following interpolations [17] where the first is convex and the second is concave, both of which are the respective tightest interpolations.”