Total Search Problems in Bounded Arithmetic and Improved Witnessing.

Arnold Beckmann, Jean-Jos Razafindrakoto

Browse the full WoLLIC paper archive.