search result

Cover von Lifting for Constant-Depth Circuits and Applications to MCSP

Lifting for Constant-Depth Circuits and Applications to MCSP

Year: 2021
Media group: LIPIcs
Cover von Does Looking Inside a Circuit Help?

Does Looking Inside a Circuit Help?

Year: 2017
Media group: LIPIcs
Cover von Expander Construction in VNC1

Expander Construction in VNC1

Year: 2017
Media group: LIPIcs
Cover von Agnostic Learning from Tolerant Natural Proofs

Agnostic Learning from Tolerant Natural Proofs

Year: 2017
Media group: LIPIcs
Cover von Algorithms and Data Structures
15th International Symposium, WADS 2017, St. John's, NL, Canada, July 31 - August 2, 2017, Proceedings
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 10389
Media group: MONOGRAPHIE
Cover von Learning Algorithms from Natural Proofs

Learning Algorithms from Natural Proofs

Year: 2016
Media group: LIPIcs
Cover von Tighter Connections between Derandomization and Circuit Lower Bounds

Tighter Connections between Derandomization and Circuit Lower Bounds

Year: 2015
Media group: LIPIcs
Cover von Conditional Autarkies

Conditional Autarkies

Hard Formulas Made Easy
Year: 2026
Media group: LIPIcs
Cover von Provability of the Circuit Size Hierarchy and Its Consequences

Provability of the Circuit Size Hierarchy and Its Consequences

Year: 2025
Media group: LIPIcs
Cover von Limits of CDCL Learning via Merge Resolution

Limits of CDCL Learning via Merge Resolution

Year: 2023
Media group: LIPIcs
OPEN V 11.1.0.0