Search results
- 1.0510920 - ÚI 2020 eng V - Research Report
Žák, Stanislav
A Logical Characteristic of Read-Once Branching Programs.
Trier, 2019. 16 s. Electronic Colloquium on Computational Complexity, TR19-150. ISSN 1433-8092
Institutional support: RVO:67985807
Keywords : branching programs * Computational Complexity * logic
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://eccc.weizmann.ac.il/report/2019/150/
Permanent Link: http://hdl.handle.net/11104/0301281File Download Size Commentary Version Access 0510920-aonl.pdf 3 262.2 KB volně online Publisher’s postprint open-access - 2.0506562 - ÚI 2020 CZ eng V - Research Report
Žák, Stanislav
A Logical Characteristic of Read-Once Branching Programs.
Prague: ICS CAS, 2019. 16 s. Technical Report, V-1270.
Institutional support: RVO:67985807
Keywords : branching programs * computational complexity * logic
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Permanent Link: http://hdl.handle.net/11104/0297795File Download Size Commentary Version Access 0506562-av1.pdf 0 157.8 KB verze 07/2019 Other open-access - 3.0443323 - ÚI 2016 DE eng V - Research Report
Žák, Stanislav
Inherent Logic and Complexity.
Trier, 2015. 12 s. Electronic Colloquium on Computational Complexity, TR15-029. ISSN 1433-8092
R&D Projects: GA ČR GAP202/10/1333
Institutional support: RVO:67985807
Keywords : branching programs * complexity * logic
Subject RIV: IN - Informatics, Computer Science
http://eccc.hpi-web.de/report/2015/029/
Permanent Link: http://hdl.handle.net/11104/0246047 - 4.0428781 - ÚI 2015 CZ eng V - Research Report
Žák, Stanislav
Inherent Logic and Complexity.
Prague: ICS AS CR, 2014. 17 s. Technical Report, V-1208.
R&D Projects: GA ČR GAP202/10/1333
Institutional support: RVO:67985807
Keywords : branching programs * complexity * logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0234049File Download Size Commentary Version Access v1208-14.pdf 25 119.9 KB Other open-access - 5.0403962 - UIVT-O 20000105 CZ eng V - Research Report
Žák, Stanislav
A Subexponential Lower Bound on Read-once Branching Programs by a New Argument.
Prague: ICS AS CR, 2000. 10 s. Technical Report, V-813.
R&D Projects: GA ČR GA201/98/0717
Institutional research plan: AV0Z1030915
Keywords : read-once branching programs * lower bound
Permanent Link: http://hdl.handle.net/11104/0124246File Download Size Commentary Version Access v813-00.pdf 19 135.3 KB Other open-access - 6.0403746 - UIVT-O 990100 CZ eng V - Research Report
Žák, Stanislav
Upper Bounds for Gentle Branching Programs.
Prague: ICS AS CR, 1999. 11 s. Technical Report, V-788.
R&D Projects: GA ČR GA201/98/0717
Keywords : branching programs * upper bounds
Permanent Link: http://hdl.handle.net/11104/0124039File Download Size Commentary Version Access v788-99.pdf 12 180 KB Other open-access - 7.0403462 - UIVT-O 200726 CZ eng V - Research Report
Žák, Stanislav
The Turing Machine Space Measure Revised at the Occasion of Sublog Separation.
Prague: ICS AS CR, 1997. 13 s. Technical Report, V-758.
Permanent Link: http://hdl.handle.net/11104/0123767File Download Size Commentary Version Access v758-98.pdf 12 169.6 KB Other open-access - 8.0403282 - UIVT-O 970131 CZ eng V - Research Report
Žák, Stanislav
A Subexponential Lower Bounds for Branching Programs Restricted with Regard to Some Semantic Aspects.
Prague: ICS AS CR, 1997. 37 s. Technical Report, V-728.
R&D Projects: GA ČR GA201/95/0976
Grant - others:ALTEC-KIT(XE) IP960195
Keywords : branching programs * lower bounds
Permanent Link: http://hdl.handle.net/11104/0123596File Download Size Commentary Version Access v728-97.pdf 12 339.6 KB Other open-access - 9.0402844 - UIVT-O 960160 CZ eng V - Research Report
Savický, Petr - Žák, Stanislav
A Hierarchy for (1,+k)-branching programs with respect to k.
Prague: ICS AS CR, 1996. 15 s. Technical Report, V-672.
R&D Projects: GA ČR GA201/95/0976
Keywords : branching programs * lower bounds
Permanent Link: http://hdl.handle.net/11104/0123220File Download Size Commentary Version Access v672-96.pdf 12 220.5 KB Other open-access - 10.0402790 - UIVT-O 960096 CZ eng V - Research Report
Savický, Petr - Žák, Stanislav
A Large Lower Bound for 1-branching Programs.
Prague: ICS AS CR, 1996. 6 s. Technical Report, V-669.
R&D Projects: GA ČR GA201/95/0976
Keywords : branching programs * lower bounds
Permanent Link: http://hdl.handle.net/11104/0123172File Download Size Commentary Version Access v669-96.pdf 15 145.7 KB Other open-access