Unary Resolution: Characterizing Ptime.

Fri, 01 Jan 2016 00:00:00 +0100

Clément Aubert , Marc Bagnol, Thomas Seiller :
Unary Resolution: Characterizing Ptime. FoSSaCS 2016: 373-389