Total Search Problems in Bounded Arithmetic and Improved Witnessing
Date first appeared online 29/06/2017
DOI 10.1007/978-3-662-55386-2_3
Authors Beckmann A., Razafindrakoto J.
Journal Name Logic, Language, Information, and Computation
Volume 10388

Documents