Positive and negative proofs for circuits and branching programs
Dorzweiler, Olga, Flamm, Thomas, Krebs, Andreas, Ludwig, Michael
Published in Theoretical computer science (11.01.2016)
Published in Theoretical computer science (11.01.2016)
Get full text
Journal Article