Author:
Iordache Viorel,Ciobâcă Ştefan
Publisher
Springer International Publishing
Reference24 articles.
1. Andrici, C.-C., Ciobâcă, Ş.: Verifying the DPLL algorithm in Dafny. In: Marin, M., Craciun, A. (eds.) Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3–5 September 2019. EPTCS, vol. 303, pp. 3–15 (2019)
2. Andrici, C.-C., Ciobâcă, Ş.: Who verifies the verifiers? A computer-checked implementation of the DPLL algorithm in Dafny. CoRR, arXiv:2007.10842 (2020)
3. Barroso, P., Pereira, M., Ravara, A.: Animated logic: correct functional conversion to conjunctive normal form. In: PAAR 2020/SC-Square 2020. CEUR Workshop Proceedings, vol. 2752, pp. 1–20. CEUR-WS.org (2020)
4. Berger, U., Lawrence, A., Forsberg, F.N., Seisenberger, M.: Extracting verified decision procedures: DPLL and resolution. Log. Methods Comput. Sci. 11(1) (2015)
5. Blanchette, J.C., Fleury, M., Lammich, P., Weidenbach, C.: A verified SAT solver framework with learn, forget, restart, and incrementality. J. Autom. Reason. 61(1–4), 333–365 (2018)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献