Report - IV: Polynomial local search higher in the bounded arithmetic hierarchy

Please pass captcha verification before submit form