Volume: Vol-4008 SMT+PoS 2025 | Year: 2025

Paper: « SMT_paper17 | SMT_paper25 | SMT_paper08 »

A Proposal for an OMT Extension to SMT-LIB

• Nestan Tsiskaridze
• Andrew Reynolds
• Cesare Tinelli
• Clark Barrett

29-44 PDF