Inst-Gen - A Modular Approach to Instantiation-Based Automated Reasoning

  title={Inst-Gen - A Modular Approach to Instantiation-Based Automated Reasoning},
  author={Konstantin Korovin},
  booktitle={Programming Logics},
Inst-Gen is an instantiation-based reasoning method for first-order logic introduced in [18]. One of the distinctive features of Inst-Gen is a modular combination of first-order reasoning with efficient ground reasoning. Thus, Inst-Gen provides a framework for utilising efficient off-the-shelf propositional SAT and SMT solvers as part of general first-order reasoning. In this paper we present a unified view on the developments of the Inst-Gen method: (i) completeness proofs; (ii) abstract and… CONTINUE READING
Highly Cited
This paper has 55 citations. REVIEW CITATIONS
34 Citations
51 References
Similar Papers


Publications citing this paper.

56 Citations

Citations per Year
Semantic Scholar estimates that this publication has 56 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 51 references

Similar Papers

Loading similar papers…