Concepedia

Optimization Modulo Theories

Optimization Modulo Theories is a formal computational framework that extends satisfiability modulo theories by enabling the maximization or minimization of objective functions subject to logical constraints expressed in background theories.

14

Publications

446

Citations

50

Authors

23

Institutions

Publications per year

2017–2026

11

Parents

Publications

14

Optimization Modulo Theories with Linear Rational Costs

Roberto Sebastiani, Silvia Tomasi · ACM Transactions on Computational Logic · 2015 · 75 citations · Full text

, , +13

Joint Algorithm of Message Fragmentation and No-Wait Scheduling for Time-Sensitive Networks

Xi Jin, Changqing Xia, Nan Guan et al. · IEEE/CAA Journal of Automatica Sinica · 2021 · 73 citations

, , +17

Real-Time Scheduling of Massive Data in Time Sensitive Networks With a Limited Number of Schedule Entries

Xi Jin, Changqing Xia, Nan Guan et al. · IEEE Access · 2020 · 72 citations · Full text

, , +16

OptiMathSAT: A Tool for Optimization Modulo Theories

Roberto Sebastiani, Patrick Trentin · Journal of Automated Reasoning · 2018 · 47 citations · Full text

, , +9

Co-design Approach of Scheduling and Routing in Time Sensitive Networking

Lei Xu, Qimin Xu, Yanzhou Zhang et al. · 2020 · 40 citations

, , +16

1–5 of 14

Authors

50

  1. RS
    Roberto Sebastiani

    University of Trento, Italy

    3 publications · 134 citations

    3

    h-index

  2. XJ
    Xi Jin

    Shenyang Institute of Automation, China

    2 publications · 145 citations

    2

    h-index

  3. NG
    Nan Guan

    Northeastern University, China

    2 publications · 145 citations

    2

    h-index

  4. CX
    Changqing Xia

    Central South University, China

    2 publications · 145 citations

    2

    h-index

  5. IK
    Ilgweon Kang

    University of California San Diego, United States

    1 publications · 16 citations

    1

    h-index

1–5 of 50

Institutions

23

  1. University of Trento

    Trento, Italy

    4 h-index

    7 publications

    282 citations

  2. Verimag

    Gières, France

    2 h-index

    4 publications

    68 citations

  3. Institut polytechnique de Grenoble

    Grenoble, France

    2 h-index

    2 publications

    34 citations

  4. Chinese Academy of Sciences

    Beijing, China

    2 h-index

    8 publications

    579 citations

  5. Université Joseph Fourier

    Grenoble, France

    2 h-index

    4 publications

    68 citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    2 h-index

    2 publications

    34 citations

  7. Hong Kong Polytechnic University

    Hong Kong, Hong Kong

    2 h-index

    2 publications

    145 citations

  8. Shenyang Institute of Automation

    Shenyang, China

    2 h-index

    8 publications

    579 citations

1–8 of 23

Venues

  1. arXiv (Cornell University)

    Repository · 1 publications · 12 citations

    1

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 1 publications · 19 citations

    1

    h-index

  3. Journal of Automated Reasoning

    1 publications · 47 citations

    1

    h-index

  4. IEEE/CAA Journal of Automatica Sinica

    1 publications · 73 citations

    1

    h-index

  5. ACM Transactions on Computational Logic

    TOCL · 1 publications · 75 citations

    1

    h-index

1–5