Total search problems in bounded arithmetic and improved witnessing

DOI10.1007/978-3-662-55386-2_3zbMath1491.68076OpenAlexW2628089805MaRDI QIDQ1685908

Arnold Beckmann, Jean-José Razafindrakoto

Publication date: 20 December 2017

Full work available at URL: https://cronfa.swan.ac.uk/Record/cronfa34131

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

This page was built for publication: Total search problems in bounded arithmetic and improved witnessing