„SMT solving“

Suchergebnisse

1.000+ Treffer

• SMT solving, interpolation, and quantifiers
  Schindler, Tanja ; Podelski, Andreas 2022 Universität
• Logic for Programming, Artificial Intelligence, and Reasoning – 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
  Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
• Integrating virtual substitution into strategic SMT solving
  Corzilius, Florian ; Ábrahám, Erika ; Fontaine, Pascal 2016 Universitätsbibliothek der RWTH Aachen
• Proving termination of probabilistic recursive programs via SMT-solving
  Mommers, Leo ; Winkler, Tobias ; Katoen, Joost-Pieter ; Ábrahám, Erika 2024 Universitätsbibliothek der RWTH Aachen
• Learning probabilistic automata with SMT solving
  Veltri, Dario ; Moerman, Joshua ; Katoen, Joost-Pieter ; Noll, Thomas 2021 Universitätsbibliothek der RWTH Aachen
• SAT-based String Solving – Solving String Constraints by Reduction to Boolean Satisfiability
  Lotz, Kevin ; Nowotka, Dirk ; Manea, Florin Silviu 2025 Universitätsbibliothek Kiel
• Handbook of Parallel Constraint Reasoning
  Sais, Lakhdar ; Hamadi, Youssef 2018 Springer International Publishing
• InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference
  Li, Senxi ; Yamazaki, Tetsuro ; Chiba, Shigeru 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Cooking String-Integer Conversions with Noodles
  Havlena, Vojtěch ; Holík, Lukáš ; Lengál, Ondřej ; Síč, Juraj 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference (Artifact)
  Li, Senxi ; Yamazaki, Tetsuro ; Chiba, Shigeru
• A Lazy SMT-Solver for a Non-Linear Subset of Real Algebra
  Abraham, Erika ; Corzilius, Florian ; Loup, Ulrich ; Sturm, Thomas
• SMT-Solving for the First-Order Theory of the Reals
  Abraham, Erika ; Loup, Ulrich
• Toward Domain-Specific Solvers for Distributed Consistency
  Kuper, Lindsey ; Alvaro, Peter 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Using SMT Solving for the Lookup of Infeasible Paths in Binary Programs
  Ruiz, Jordy ; Cassé, Hugues 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Integrated Deduction (Dagstuhl Seminar 21371)
  Bonacina, Maria Paola ; Rümmer, Philipp ; Schmidt, Renate A.
• Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062)
  Bardin, Sébastien ; Bjørner, Nikolaj ; Cadar, Cristian
• Modular strategic SMT solving with SMT-RAT
  Kremer, Gereon ; Ábrahám, Erika 2018 Universitätsbibliothek der RWTH Aachen
• Verification of Neural Networks Containing Non-Linear Activation Functions
  Moradkhani, Farzaneh ; Fränzle, Martin ; Kramer, Oliver 2024 BIS der Universität Oldenburg
• SMT solving for the validation of B and Event-B models
  Schmidt, Joshua ; Leuschel, Michael
• Light On String Solving : Approaches to Efficiently and Correctly Solving String Constraints
  Kulczynski, Mitja ; Nowotka, Dirk ; Göller, Stefan 2022 Universitätsbibliothek Kiel