A Proposal for an OMT Extension to SMT-LIB

Conference proceeding

Nestan Tsiskaridze, Andrew Reynolds, Cesare Tinelli and Clark Barrett

CEUR workshop proceedings, Vol.4008, pp.29-44

2025

View Online

OMT

Optimization Modulo Theories

SMT-LIB syntax

Title: Subtitle: A Proposal for an OMT Extension to SMT-LIB
Creators: Nestan Tsiskaridze - Stanford University
Andrew Reynolds - University of Iowa
Cesare Tinelli - The University of Iowa, Iowa City, United States
Clark Barrett - Stanford University
Resource Type: Conference proceeding
Publication Details: CEUR workshop proceedings, Vol.4008, pp.29-44
ISSN: 1613-0073
eISSN: 1613-0073
Grant note: National Science Foundation (http://data.elsevier.com/vocabulary/SciValFunders/100000001) Stanford Agile Hardware Center 2006407 / National Science Foundation (http://data.elsevier.com/vocabulary/SciValFunders/100000001) 2006407 / National Science Foundation (100000001)
Language: English
Date published: 2025
Academic Unit: Computer Science
Record Identifier: 9984949519802771

1 Record Views