Author:
Becker Bernd,Ehlers Rüdiger,Lewis Matthew,Marin Paolo
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Lecture Notes in Computer Science;A. Biere,1999
2. Lecture Notes in Computer Science;J. Brauer,2011
3. Lecture Notes in Computer Science;K.L. McMillan,2002
4. Lecture Notes in Computer Science;J. Brauer,2012
5. Benedetti, M., Mangassarian, H.: QBF-based formal verification: Experience and perspectives. JSAT 5, 133–191 (2008)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. OuterCount: A First-Level Solution-Counter for Quantified Boolean Formulas;Lecture Notes in Computer Science;2022
2. Synthesis of Reactive Systems;NATO SCI PEAC SECUR;2016
3. SAT-Based Synthesis Methods for Safety Specs;Lecture Notes in Computer Science;2014
4. Synthesis with Identifiers;Lecture Notes in Computer Science;2014
5. Incremental QBF Solving;Lecture Notes in Computer Science;2014