Добірка наукової літератури з теми "Craig Interpolants"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Craig Interpolants".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Craig Interpolants"
Artale, Alessandro, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, and Frank Wolter. "Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role Inclusions." Proceedings of the AAAI Conference on Artificial Intelligence 35, no. 7 (May 18, 2021): 6193–201. http://dx.doi.org/10.1609/aaai.v35i7.16770.
Повний текст джерелаCimatti, Alessandro, Alberto Griggio, and Roberto Sebastiani. "Efficient generation of craig interpolants in satisfiability modulo theories." ACM Transactions on Computational Logic 12, no. 1 (October 2010): 1–54. http://dx.doi.org/10.1145/1838552.1838559.
Повний текст джерелаCabodi, Gianpiero, Carmelo Loiacono, and Danilo Vendraminetto. "Optimization techniques for craig interpolant compaction in unbounded model checking." Formal Methods in System Design 46, no. 2 (April 2015): 135–62. http://dx.doi.org/10.1007/s10703-015-0229-0.
Повний текст джерелаOLKHOVIKOV, GRIGORY K. "RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC." Review of Symbolic Logic 13, no. 3 (September 13, 2019): 459–82. http://dx.doi.org/10.1017/s1755020319000406.
Повний текст джерелаKrajíček, Jan. "Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic." Journal of Symbolic Logic 62, no. 2 (June 1997): 457–86. http://dx.doi.org/10.2307/2275541.
Повний текст джерелаBlicha, Martin, Antti E. J. Hyvärinen, Jan Kofroň, and Natasha Sharygina. "Using linear algebra in decomposition of Farkas interpolants." International Journal on Software Tools for Technology Transfer, August 5, 2021. http://dx.doi.org/10.1007/s10009-021-00641-z.
Повний текст джерелаBackeman, Peter, Philipp Rümmer, and Aleksandar Zeljić. "Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic." Formal Methods in System Design, May 12, 2021. http://dx.doi.org/10.1007/s10703-021-00372-6.
Повний текст джерелаДисертації з теми "Craig Interpolants"
Weissenbacher, Georg. "Program analysis with interpolants." Thesis, University of Oxford, 2010. http://ora.ox.ac.uk/objects/uuid:6987de8b-92c2-4309-b762-f0b0b9a165e6.
Повний текст джерелаBlicha, Martin. "Metody pro redukci velikosti interpolantů při použití částečného přiřazení." Master's thesis, 2016. http://www.nusl.cz/ntk/nusl-352598.
Повний текст джерелаJančík, Pavel. "Reprezentace stavů programu." Doctoral thesis, 2017. http://www.nusl.cz/ntk/nusl-369534.
Повний текст джерелаЧастини книг з теми "Craig Interpolants"
Schöning, Uwe, and Randall Pruim. "The Complexity of Craig Interpolants." In Gems of Theoretical Computer Science, 111–13. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/978-3-642-60322-8_14.
Повний текст джерелаMcMillan, K. L. "Applications of Craig Interpolants in Model Checking." In Tools and Algorithms for the Construction and Analysis of Systems, 1–12. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/978-3-540-31980-1_1.
Повний текст джерелаGupta, Utkarsh, Irina Ilioaea, Vikas Rao, Arpitha Srinath, Priyank Kalla, and Florian Enescu. "Rectification of Arithmetic Circuits with Craig Interpolants in Finite Fields." In VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms, 79–106. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-23425-6_5.
Повний текст джерелаMiller, Christian, Stefan Kupferschmid, Matthew Lewis, and Bernd Becker. "Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs." In Theory and Applications of Satisfiability Testing – SAT 2010, 194–208. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14186-7_17.
Повний текст джерелаGan, Ting, Bican Xia, Bai Xue, Naijun Zhan, and Liyun Dai. "Nonlinear Craig Interpolant Generation." In Computer Aided Verification, 415–38. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-53288-8_20.
Повний текст джерелаТези доповідей конференцій з теми "Craig Interpolants"
Gupta, Utkarsh, Irina Ilioaea, Vikas Rao, Arpitha Srinath, Priyank Kalla, and Florian Enescu. "On the Rectifiability of Arithmetic Circuits using Craig Interpolants in Finite Fields." In 2018 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). IEEE, 2018. http://dx.doi.org/10.1109/vlsi-soc.2018.8644853.
Повний текст джерелаJung, Jean Christoph, and Frank Wolter. "Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments." In 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2021. http://dx.doi.org/10.1109/lics52264.2021.9470585.
Повний текст джерелаFortin, Marie, Boris Konev, and Frank Wolter. "Interpolants and Explicit Definitions in Extensions of the Description Logic EL." In 19th International Conference on Principles of Knowledge Representation and Reasoning {KR-2022}. California: International Joint Conferences on Artificial Intelligence Organization, 2022. http://dx.doi.org/10.24963/kr.2022/16.
Повний текст джерелаJung, Jean Christoph, Carsten Lutz, Hadrien Pulcini, and Frank Wolter. "Separating Data Examples by Description Logic Concepts with Restricted Signatures." In 18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021}. California: International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/kr.2021/37.
Повний текст джерелаCabodi, G., C. Loiacono, and D. Vendraminetto. "Optimization Techniques for Craig Interpolant Compaction in Unbounded Model Checking." In Design Automation and Test in Europe. New Jersey: IEEE Conference Publications, 2013. http://dx.doi.org/10.7873/date.2013.289.
Повний текст джерелаLin, Wang, Mi Ding, Kaipeng Lin, Guoquan Mei, and Zuohua Ding. "Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning." In 2022 9th International Conference on Dependable Systems and Their Applications (DSA). IEEE, 2022. http://dx.doi.org/10.1109/dsa56465.2022.00023.
Повний текст джерела