Original title:
A Lower Bound Method for Branching Programs and Its Application
Authors:
Žák, Stanislav Document type: Research reports
Year:
2012
Language:
eng Series:
Technical Report, volume: V-1171
Keywords:
branching programs; lower bound techniques Project no.: GAP202/10/1333 (CEP) Funding provider: GA ČR
Rights: This work is protected under the Copyright Act No. 121/2000 Coll.