Summary: An Exponential Separation between Regular and General
Resolution
Michael Alekhnovich
Department of Mathematics
Massachusetts Institute of Technology
Cambridge, MA USA
mike@mccme.ru
Jan Johannsen 
Institut fur Informatik
Ludwig-Maximilians-Universitat
Munchen, Germany
jjohanns@informatik.uni-muenchen.de
Toniann Pitassi y
Computer Science Department
University of Toronto
Toronto, ON CANADA
toni@cs.toronto.edu
Alasdair Urquhart z
Department of Philosophy
University of Toronto

Source: Alekhnovich, Michael - Institute for Advanced Study, Princeton University

Collections: Mathematics; Computer Technologies and Information Sciences