Author:
Rabe Markus N.,Seshia Sanjit A.
Publisher
Springer International Publishing
Reference48 articles.
1. AIGER toolset. http://fmv.jku.at/aiger/
2. Alur, P., Madhusudan, W.N.: Symbolic computational techniques for solving games. Softw. Tools Technol. Transf. 7(2), 118–128 (2005)
3. Ansotegui, C., Gomes, C.P., Selman, B.: The Achilles’ heel of QBF. In: Proceedings of AAAI, vol. 2, pp. 275–281 (2005)
4. Lecture Notes in Computer Science;G Audemard,2005
5. Lecture Notes in Computer Science;G Basler,2007
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Dynamic Programming for Symbolic Boolean Realizability and Synthesis;Lecture Notes in Computer Science;2024
2. On Dependent Variables in Reactive Synthesis;Lecture Notes in Computer Science;2024
3. Tractable representations for Boolean functional synthesis;Annals of Mathematics and Artificial Intelligence;2023-12-05
4. Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers;2023 IEEE International Conference on Quantum Computing and Engineering (QCE);2023-09-17
5. Transforming Quantified Boolean Formulas Using Biclique Covers;Tools and Algorithms for the Construction and Analysis of Systems;2023