Author:
Cabodi Gianpiero,Loiacono Carmelo,Vendraminetto Danilo
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference47 articles.
1. Craig W (1957) Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. J Symb Log 22(3):269–285
2. Pacific Journal of Mathematics RC (1959) An interpolation theorem in the predicate calculus. Pac J Math 9:155–164
3. McMillan KL (2003) Interpolation and SAT-based model checking. In: Proceedings of the computer aided verification, vol 2725 of LNCS. Springer, Boulder, CO, USA, pp 1–13
4. Bradley AR (2011) Sat-based model checking without unrolling. VMCAI. Springer, Austin, TX, pp 70–87
5. Biere A, Jussila T. The model checking competition web page, http://fmv.jku.at/hwmcc
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking;Formal Methods in System Design;2022-04
2. Reducing Interpolant Circuit Size Through SAT-Based Weakening;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2020-07
3. Logic Synthesis for Interpolant Circuit Compaction;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2019-02