×

OptiMathSAT

swMATH ID: 32308
Software Authors: Sebastiani, R., Trentin, P.
Description: 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.
Homepage: http://optimathsat.disi.unitn.it/index.html
Related Software: z3; vZ; SMT-LIB; GitHub; MathSAT5; CPLEX; SYMBA; MiniSat; Yices; MiniZinc; Boolector; TcT; Amortized Complexity; TiML; CVC; dReal; CHUFFED; OR-tools; STP; UppSAT
Cited in: 12 Publications
Further Publications: http://optimathsat.disi.unitn.it/pages/publications-js.html

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
OptiMathSAT: a tool for optimization modulo theories. Zbl 1468.68206
Sebastiani, Roberto; Trentin, Patrick
2020
all top 5

Cited by 43 Authors

5 Sebastiani, Roberto
4 Trentin, Patrick
2 Larraz, Daniel
2 Oliveras, Albert
2 Rodríguez-Carbonell, Enric
2 Rubio, Albert
1 Bian, Zhengbing
1 Bigarella, Filippo
1 Borralleras, Cristina
1 Bürgler, Josef
1 Candeago, Lorenzo
1 Chen, Qian Matteo
1 Chudak, Fabián A.
1 Cimatti, Alessandro
1 Eraşcu, Mădălina
1 Finzi, Alberto
1 Fontana, Urs
1 Fux, Etienne
1 Giunchiglia, Enrico
1 Griggio, Alberto
1 Herzog, Florian
1 Irfan, Ahmed
1 Jonáš, Martin
1 Köhler, Jana
1 Leutgeb, Lorenz
1 Macready, William G.
1 Mancini, Toni
1 Maratea, Marco
1 Melatti, Igor
1 Micota, Flavia
1 Moser, Georg
1 Pouly, Marc
1 Pulina, Luca
1 Roveri, Marco
1 Roy, Aidan
1 Saller, Sophia
1 Salyaeva, Anastasia
1 Scheiblechner, Peter
1 Tronci, Enrico
1 Varotti, Stefano
1 Waelti, Kai
1 Zaharie, Daniela
1 Zuleger, Florian
all top 5

Cited in 6 Serials

2 Journal of Automated Reasoning
2 Constraints
1 Information and Computation
1 Fundamenta Informaticae
1 ACM Transactions on Computational Logic
1 Journal of Logical and Algebraic Methods in Programming

Cited in 4 Fields

12 Computer science (68-XX)
3 Operations research, mathematical programming (90-XX)
2 Mathematical logic and foundations (03-XX)
1 Quantum theory (81-XX)

Citations by Year