Author:
Bloem Roderick,Egly Uwe,Klampfl Patrick,Konighofer Robert,Lonsing Florian
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers;2023 IEEE International Conference on Quantum Computing and Engineering (QCE);2023-09-17
2. Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBF;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
3. FERPModels: A Certification Framework for Expansion-Based QBF Solving;2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2022-09
4. Causality-Based Game Solving;Computer Aided Verification;2021
5. Good-Enough Synthesis;Computer Aided Verification;2020