Publisher
Springer International Publishing
Reference19 articles.
1. Biere, A.: PicoSAT essentials. JSAT 4(2–4), 75–97 (2008)
2. Lecture Notes in Computer Science;A Bohy,2012
3. Egly, U., Seidl, M., Woltran, S.: A solver for QBFs in negation normal form. Constraints 14(1), 38–79 (2009)
4. Faymonville, P., Finkbeiner, B., Rabe, M.N., Tentrup, L.: Encodings of reactive synthesis. In: Proceedings of QUANTIFY (2015)
5. Finkbeiner, B., Schewe, S.: Bounded synthesis. STTT 15(5–6), 519–539 (2013)
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献