Making P manifestly polynomial
September 29, 2016
12:34 PM