Michael Gavrilovich

According to our database, Michael Gavrilovich authored at least 3 papers between 1997 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

MAX SAT approximation beyond the limits of polynomial-time approximation.

Evgeny Dantsin, Michael Gavrilovich, Edward A. Hirsch, Boris Konev

Ann. Pure Appl. Log., 2001

1997

A Lower Bound for Interpolation.

Michael Gavrilovich

Log. J. IGPL, 1997

Cut Elimination for the Second Order Propositional Logic with Hilbert's epsilon-symbol, Extensionality, and Full Comprehension.

Michael Gavrilovich

Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997