Michael Gavrilovich

Publication Activity (10 Years)

Years Active: 1997-2001
Publications (10 Years): 0

Publications

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