A Generic Framework for Implicate Generation Modulo Theories-Reference-Cited by-同舟云学术

A Generic Framework for Implicate Generation Modulo Theories

Published:2018 Issue: Volume: Page:279-294
ISSN:0302-9743
Container-title:Automated Reasoning
language:
Short-container-title:

Author:

Echenim Mnacho,Peltier Nicolas,Sellami Yanis

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-94205-6_19

Reference31 articles.

1. Lecture Notes in Computer Science;C Barrett,2011

2. Barrett, C., Stump, A., Tinelli, C.: The Satisfiability Modulo Theories Library (SMT-LIB) (2010). www.SMT-LIB.org

3. Bienvenu, M.: Prime implicates and prime implicants in modal logic. In: Proceedings of the National Conference on Artificial Intelligence, vol. 22, p. 379. AAAI Press/MIT Press, Menlo Park, Cambridge, London (1999, 2007)

4. Studies in Logic and Practical Reasoning;P Blackburn,2007

5. De Kleer, J.: An improved incremental algorithm for generating prime implicates. In: Proceedings of the National Conference on Artificial Intelligence, p. 780. Wiley (1992)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Inference of Robust Reachability Constraints;Proceedings of the ACM on Programming Languages;2024-01-05

2. Learning to Synthesize Relational Invariants;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10

3. Connection-Minimal Abduction in $$\mathcal {EL}$$ via Translation to FOL;Automated Reasoning;2022

4. Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis;Automated Reasoning;2020

5. Ilinva: Using Abduction to Generate Loop Invariants;Frontiers of Combining Systems;2019