优化数学卫星 swMATH ID: 32308 软件作者： 塞巴斯蒂亚尼，R.，特伦丁，P。 描述： OptiMathSAT：用于优化模理论的工具。欢迎访问OptiMathSAT的主页，这是一个高效的优化模理论（OMT）工具。OptiMathSAT是MathSAT5的扩展，其许可条件与Math2at 5相同。OptiMathSAT允许对线性算术目标函数进行增量多目标优化，它支持广泛的理论（包括等式和未解释函数、线性算术、位向量、数组）。与MathSAT 5一样，OptiMathSATs是由布鲁诺·凯斯勒基金会和特伦托DISI-University of Trento联合开发的一个项目。 主页： http://optimathsat.disi.unitn.it/index.html 相关软件： vZ（虚拟Z）;z3（零3）;SMT-LIB语言;github;数学SAT5;CPLEX公司;悉尼商学院;超小卫星;Yices公司;GLPK公司;古罗比;迷你锌;转向器;杰拉西尔;PySAT公司;钙DiCaL;帕拉库巴;基萨特;超级工作台;马拉布 引用于： 14文件 更多出版物： http://optimathsat.disi.unitn.it/pages/publications-js.html 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 优化数学卫星：优化模理论的工具。 Zbl 1468.68206号罗伯托·塞巴斯蒂亚尼;帕特里克·特伦丁 2020 全部的 前5名52位作者引用 5 罗伯托·塞巴斯蒂亚尼 4 帕特里克·特伦丁 2 丹尼尔·拉拉兹 2 阿尔伯特·奥利弗拉斯 2 恩里克·罗德里格斯-卡博内尔 2 阿尔伯特·鲁比奥 1 克拉克·W·巴雷特。 1 卞正兵 1 菲利波·比加雷拉 1 克里斯蒂娜·博拉莱拉斯 1 约瑟夫·伯格勒 1 洛伦佐·坎迪戈 1 Chen，Qian Matteo先生 1 Fabián A.Chudak。 1 亚历山德罗·西马蒂 1 梅德利纳·埃拉什库 1 阿尔贝托·芬齐 1 乌尔斯·丰塔纳 1 艾蒂安·福克斯 1 恩里科·金西格里亚 1 阿尔贝托·格里乔 1 弗洛里安·赫尔佐格 1 艾哈迈德·埃尔凡 1 马丁·乔纳什 1 凯尔·D·朱利安。 1 凯兹，盖伊 1 Mykel J.Kochenderfer。 1 贾纳·科勒 1 洛伦茨，Leutgeb 1 威廉·麦格雷迪（William G.Macready）。 1 托尼·曼奇尼 1 马可·马拉提亚 1 伊戈尔·梅拉蒂 1 佛罗里达州米科塔 1 乔治·莫瑟 1 马克·波利 1 卢卡·普利纳 1 马可·罗维里 1 艾丹·罗伊 1 索菲亚·萨勒 1 阿纳斯塔西亚·萨利亚耶娃 1 Peter Scheiblechner先生 1 安德烈·希德勒 1 克里斯托弗·斯特朗。 1 斯泽德，斯特凡 1 恩里科·特隆西 1 斯特凡诺·瓦罗蒂 1 凯·瓦尔蒂 1 吴浩泽 1 丹妮拉·扎哈里 1 Aleksandar Zeljić 1 佛罗里达州祖列格 全部的 前5名8篇连载文章中引用 2 自动推理杂志 2 约束条件 1 人工智能 1 信息与计算 1 机器学习 1 计算机基础理论 1 ACM计算逻辑事务 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在6个字段中引用 14 计算机科学（68至XX） 5 运筹学、数学规划（90-XX） 1 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 1 数值分析（65-XX） 1 量子理论（81-XX） 按年份列出的引文