Abstract:Optimization Modulo Theories (OMT) is an extension of SMT that allows for finding models that optimize objective functions. In this paper we aim at bridging the gap between Constraint Programming (CP) and OMT, in both directions. First, we have extended the OMT solver OPTIMATHSAT with a FLATZINC interface -which can also be used as FLATZINC-to-OMT encoder for other OMT solvers. This allows OMT tools to be used in combination with MZN2FZN on the large amount of CP problems coming from the MINIZINC community. Se… Show more
Set email alert for when this publication receives citations?
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.