OptiMathSAT: a tool for optimization modulo theories. Welcome to the home page of OptiMathSAT, an efficient Optimization Modulo Theories (OMT) tool. OptiMathSAT is an extension of MathSAT 5 and is available at the same licence conditions as MathSAT 5. OptiMathSAT allows for incremental multi-objective optimization over linear arithmetic objective functions, it supports a wide range of theories (including e.g. equality and uninterpreted functions, linear arithmetic, bit-vectors, arrays). Like MathSAT 5, OptiMathSAT is a joint project of Fondazione Bruno Kessler and DISI-University of Trento.

References in zbMATH (referenced in 11 articles , 1 standard article )

Showing results 1 to 11 of 11.
Sorted by year (citations)

  1. Bigarella, Filippo; Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Jonáš, Martin; Roveri, Marco; Sebastiani, Roberto; Trentin, Patrick: Optimization modulo non-linear arithmetic via incremental linearization (2021)
  2. Eraşcu, Mădălina; Micota, Flavia; Zaharie, Daniela: Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking (2021)
  3. Koehler, Jana; Bürgler, Josef; Fontana, Urs; Fux, Etienne; Herzog, Florian; Pouly, Marc; Saller, Sophia; Salyaeva, Anastasia; Scheiblechner, Peter; Waelti, Kai: Cable tree wiring -- benchmarking solvers on a real-world scheduling problem with a variety of precedence constraints (2021)
  4. Trentin, Patrick; Sebastiani, Roberto: Optimization modulo the theories of signed bit-vectors and floating-point numbers (2021)
  5. Bian, Zhengbing; Chudak, Fabian; Macready, William; Roy, Aidan; Sebastiani, Roberto; Varotti, Stefano: Solving SAT (and MaxSAT) with a quantum annealer: foundations, encodings, and preliminary results (2020)
  6. Chen, Qian Matteo; Finzi, Alberto; Mancini, Toni; Melatti, Igor; Tronci, Enrico: MILP, pseudo-Boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks (2020)
  7. Sebastiani, Roberto; Trentin, Patrick: \textscOptiMathSAT: a tool for optimization modulo theories (2020)
  8. Borralleras, Cristina; Larraz, Daniel; Rodríguez-Carbonell, Enric; Oliveras, Albert; Rubio, Albert: Incomplete SMT techniques for solving non-linear formulas over the integers (2019)
  9. Trentin, Patrick; Sebastiani, Roberto: Optimization modulo the theory of floating-point numbers (2019)
  10. Giunchiglia, Enrico; Maratea, Marco; Pulina, Luca: Translation-based approaches for solving disjunctive temporal problems with preferences (2018)
  11. Candeago, Lorenzo; Larraz, Daniel; Oliveras, Albert; Rodríguez-Carbonell, Enric; Rubio, Albert: Speeding up the constraint-based method in difference logic (2016)

Further publications can be found at: http://optimathsat.disi.unitn.it/pages/publications-js.html