共 50 条
- [4] Lower Bound Techniques for QBF Expansion [J]. THEORY OF COMPUTING SYSTEMS, 2020, 64 (03) : 400 - 421
- [6] A detailed comparative analysis of μ lower bound algorithms [J]. 2014 EUROPEAN CONTROL CONFERENCE (ECC), 2014, : 220 - 226
- [7] Function matching: Algorithms, applications, and a lower bound [J]. AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, 2003, 2719 : 929 - 942
- [8] CONSTRUCTING ORACLES BY LOWER BOUND TECHNIQUES FOR CIRCUITS [J]. COMBINATORICS, COMPUTING AND COMPLEXITY, 1989, : 30 - 76
- [9] Kernelization: New Upper and Lower Bound Techniques [J]. PARAMETERIZED AND EXACT COMPUTATION, 2009, 5917 : 17 - 37
- [10] Lower Bound Techniques for QBF Proof Systems [J]. 35TH SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2018), 2018, 96