Cited By
View all- Lipparini ERatschan S(2025)Satisfiability of Non-linear Transcendental Arithmetic as a Certificate Search ProblemJournal of Automated Reasoning10.1007/s10817-024-09716-369:1Online publication date: 1-Mar-2025
- Barrett CTinelli CBarbosa HNiemetz APreiner MReynolds AZohar Y(2024)Satisfiability Modulo Theories: A Beginner’s TutorialFormal Methods10.1007/978-3-031-71177-0_31(571-596)Online publication date: 9-Sep-2024
- Robby Hatcliff JBelt J(2024)Logika: The Sireum Verification FrameworkFormal Methods for Industrial Critical Systems10.1007/978-3-031-68150-9_6(97-116)Online publication date: 9-Sep-2024
- Show More Cited By