| |
| 2001 | ||
|---|---|---|
| 3 | Evgeny Dantsin, Michael Gavrilovich, Edward A. Hirsch, Boris Konev: MAX SAT approximation beyond the limits of polynomial-time approximation. Ann. Pure Appl. Logic 113(1-3): 81-94 (2001) | |
| 1997 | ||
| 2 | Michael Gavrilovich: Cut Elimination for the Second Order Propositional Logic with Hilbert's epsilon-symbol, Extensionality, and Full Comprehension. LFCS 1997: 113-118 | |
| 1 | EE | Michael Gavrilovich: A Lower Bound for Interpolation. Logic Journal of the IGPL 5(3): (1997) |
| 1 | Evgeny Dantsin | [3] |
| 2 | Edward A. Hirsch | [3] |
| 3 | Boris Konev | [3] |