Author:
Mengel Stefan,Slivovsky Friedrich
Publisher
Springer International Publishing
Reference40 articles.
1. Lecture Notes in Computer Science;A Atserias,2004
2. Balabanov, V., Jiang, J.-H.R.: Unified QBF certification and its applications. Formal Methods Syst. Des. 41(1), 45–65 (2012)
3. Lecture Notes in Computer Science;V Balabanov,2014
4. Beyersdorff, O., Blinkhorn, J.: Lower bound techniques for QBF expansion. Theory Comput. Syst. 64(3), 400–421 (2020)
5. Beyersdorff, O., Blinkhorn, J., Hinde, L.: Size, cost, and capacity: A semantic technique for hard random QBFs. Log. Methods Comput. Sci. 15(1) (2019)