Prover-Adversary games for systems over (non-deterministic) branching programs

Anupam Das, Avgerinos Delkos

We introduce Pudlak-Buss style Prover-Adversary games to characterise proof systems reasoning over deterministic branching programs (BPs) and non-deterministic branching programs (…