Author:
Blanchette Jasmin Christian,Fleury Mathias,Weidenbach Christoph
Publisher
Springer International Publishing
Reference44 articles.
1. Ballarin, C.: Locales: a module system for mathematical theories. J. Autom. Reasoning 52(2), 123–153 (2014)
2. Biere, A., Heule, M., van Maaren, H., Walsh, T. (eds.): Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications, vol. 185. IOS Press (2009)
3. Blanchette, J.C., Böhme, S., Fleury, M., Smolka, S.J., Steckermeier, A.: Semi-intelligible Isar proofs from machine-generated proofs. J. Autom. Reasoning 55(2), 155–200 (2016)
4. Blanchette, J.C., Böhme, S., Paulson, L.C.: Extending Sledgehammer with SMT solvers. J. Autom. Reasoning 51(1), 109–128 (2013)
5. Lecture Notes in Computer Science;JC Blanchette,2011
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Isabelle/HOL Formalization of the SCL(FOL) Calculus;Automated Deduction – CADE 29;2023
2. Verified Verifying: SMT-LIB for Strings in Isabelle;Implementation and Application of Automata;2023
3. The Challenge of Unifying Semantic and Syntactic Inference Restrictions;Electronic Proceedings in Theoretical Computer Science;2019-12-31
4. Optimizing a Verified SAT Solver;Lecture Notes in Computer Science;2019
5. Formalizing the metatheory of logical calculi and automatic provers in Isabelle/HOL (invited talk);Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019;2019