類似資料

• Solving Set Constraints with Comprehensions and Bounded Quantifiers
  著者:: Mohamed, Mudathir, 等
  出版事項: (2025)
• Generalized Optimization Modulo Theories
  著者:: Tsiskaridze, Nestan, 等
  出版事項: (2024)
• Lean-SMT: An SMT tactic for discharging proof goals in Lean
  著者:: Mohamed, Abdalrhman, 等
  出版事項: (2025)
• Towards SMT Solver Stability via Input Normalization
  著者:: Amrollahi, Daneshvar, 等
  出版事項: (2024)
• Relational Hoare Logic for Realistically Modelled Machine Code
  著者:: Mazzucato, Denis, 等
  出版事項: (2025)