Michael New - Document - PDFSEARCH.IO - Document Search Engine

First Page	Meta Content
	Finding Reductions Automatically Michael Crouch , Neil Immerman , and J. Eliot B. Moss Computer Science Dept., University of Massachusetts, Amherst {mcc,immerman,moss}@cs.umass.edu Abstract. We describe our progress Add to Reading List Document Date: 2011-07-20 09:07:43 Open Document File Size: 323,87 KB Share Result on Facebook 504 Gateway Timeout /

Finding Reductions Automatically Michael Crouch , Neil Immerman , and J. Eliot B. Moss Computer Science Dept., University of Massachusetts, Amherst {mcc,immerman,moss}@cs.umass.edu Abstract. We describe our progress Add to Reading List