Total Search Problems in Bounded Arithmetic and Improved Witnessing. - Arnold Beckmann; Jean-José Razafindrakoto (WoLLIC, 2017)