发现好书期刊,享受阅读乐趣

海量图书期刊资源,随时随地畅享阅读乐趣

Optimization Modulo Theories with Linear Rational Costs

Optimization Modulo Theories with Linear Rational Costs

Sebastiani, Roberto; Tomasi, Silvia
  • 期刊名称ACM Transactions on Computational Logic
  • 作者Sebastiani, Roberto; Tomasi, Silvia
  • 卷第16卷
  • 期第2期
  • 印刷ISSN1529-3785
  • 文件大小1919.72KB
  • 发表时间2015-02-17
  • DOI10.1145/2699915
  • 页码1-43
← 返回【学霸图书馆】主页