Literatura académica sobre el tema "Craig Interpolants"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Craig Interpolants".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Craig Interpolants"
Artale, Alessandro, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki y 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, n.º 7 (18 de mayo de 2021): 6193–201. http://dx.doi.org/10.1609/aaai.v35i7.16770.
Texto completoCimatti, Alessandro, Alberto Griggio y Roberto Sebastiani. "Efficient generation of craig interpolants in satisfiability modulo theories". ACM Transactions on Computational Logic 12, n.º 1 (octubre de 2010): 1–54. http://dx.doi.org/10.1145/1838552.1838559.
Texto completoCabodi, Gianpiero, Carmelo Loiacono y Danilo Vendraminetto. "Optimization techniques for craig interpolant compaction in unbounded model checking". Formal Methods in System Design 46, n.º 2 (abril de 2015): 135–62. http://dx.doi.org/10.1007/s10703-015-0229-0.
Texto completoOLKHOVIKOV, GRIGORY K. "RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC". Review of Symbolic Logic 13, n.º 3 (13 de septiembre de 2019): 459–82. http://dx.doi.org/10.1017/s1755020319000406.
Texto completoKrajíček, Jan. "Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic". Journal of Symbolic Logic 62, n.º 2 (junio de 1997): 457–86. http://dx.doi.org/10.2307/2275541.
Texto completoBlicha, Martin, Antti E. J. Hyvärinen, Jan Kofroň y Natasha Sharygina. "Using linear algebra in decomposition of Farkas interpolants". International Journal on Software Tools for Technology Transfer, 5 de agosto de 2021. http://dx.doi.org/10.1007/s10009-021-00641-z.
Texto completoBackeman, Peter, Philipp Rümmer y Aleksandar Zeljić. "Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic". Formal Methods in System Design, 12 de mayo de 2021. http://dx.doi.org/10.1007/s10703-021-00372-6.
Texto completoTesis sobre el tema "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.
Texto completoBlicha, 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.
Texto completoJančík, Pavel. "Reprezentace stavů programu". Doctoral thesis, 2017. http://www.nusl.cz/ntk/nusl-369534.
Texto completoCapítulos de libros sobre el tema "Craig Interpolants"
Schöning, Uwe y Randall Pruim. "The Complexity of Craig Interpolants". En 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.
Texto completoMcMillan, K. L. "Applications of Craig Interpolants in Model Checking". En 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.
Texto completoGupta, Utkarsh, Irina Ilioaea, Vikas Rao, Arpitha Srinath, Priyank Kalla y Florian Enescu. "Rectification of Arithmetic Circuits with Craig Interpolants in Finite Fields". En 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.
Texto completoMiller, Christian, Stefan Kupferschmid, Matthew Lewis y Bernd Becker. "Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs". En 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.
Texto completoGan, Ting, Bican Xia, Bai Xue, Naijun Zhan y Liyun Dai. "Nonlinear Craig Interpolant Generation". En Computer Aided Verification, 415–38. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-53288-8_20.
Texto completoActas de conferencias sobre el tema "Craig Interpolants"
Gupta, Utkarsh, Irina Ilioaea, Vikas Rao, Arpitha Srinath, Priyank Kalla y Florian Enescu. "On the Rectifiability of Arithmetic Circuits using Craig Interpolants in Finite Fields". En 2018 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC). IEEE, 2018. http://dx.doi.org/10.1109/vlsi-soc.2018.8644853.
Texto completoJung, Jean Christoph y Frank Wolter. "Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments". En 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2021. http://dx.doi.org/10.1109/lics52264.2021.9470585.
Texto completoFortin, Marie, Boris Konev y Frank Wolter. "Interpolants and Explicit Definitions in Extensions of the Description Logic EL". En 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.
Texto completoJung, Jean Christoph, Carsten Lutz, Hadrien Pulcini y Frank Wolter. "Separating Data Examples by Description Logic Concepts with Restricted Signatures". En 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.
Texto completoCabodi, G., C. Loiacono y D. Vendraminetto. "Optimization Techniques for Craig Interpolant Compaction in Unbounded Model Checking". En Design Automation and Test in Europe. New Jersey: IEEE Conference Publications, 2013. http://dx.doi.org/10.7873/date.2013.289.
Texto completoLin, Wang, Mi Ding, Kaipeng Lin, Guoquan Mei y Zuohua Ding. "Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning". En 2022 9th International Conference on Dependable Systems and Their Applications (DSA). IEEE, 2022. http://dx.doi.org/10.1109/dsa56465.2022.00023.
Texto completo