Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization

被引：0
|
作者：
Jabs, Christoph [1 ]
Berg, Jeremias [1 ]
Ihalainen, Hannes [1 ]
Järvisalo, Matti [1 ]
机构：
[1] HIIT, Department of Computer Science, University of Helsinki, Finland
来源：
Leibniz International Proceedings in Informatics, LIPIcs | 2023年 / 280卷
关键词：
Compilation and indexing terms; Copyright 2025 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Combinatorial optimization - Formal logic - Pareto principle - Redundancy
引用
收藏
相关论文
共 50 条
  • [1] Core Boosting in SAT-Based Multi-objective Optimization
    Jabs, Christoph
    Berg, Jeremias
    Jarvisalo, Matti
    [J]. INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH, PT II, CPAIOR 2024, 2024, 14743 : 1 - 19
  • [2] Inverse multi-objective combinatorial optimization
    Roland, Julien
    De Smet, Yves
    Figueira, Jose Rui
    [J]. DISCRETE APPLIED MATHEMATICS, 2013, 161 (16-17) : 2764 - 2771
  • [3] Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT
    Berg, Jeremias
    Saikko, Paul
    Jarvisalo, Matti
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 239 - 245
  • [4] Multi-Objective Combinatorial Optimization of Trigeneration Plants Based on Metaheuristics
    Stojiljkovic, Mirko M.
    Stojiljkovic, Mladen M.
    Blagojevic, Bratislav D.
    [J]. ENERGIES, 2014, 7 (12): : 8554 - 8581
  • [5] Stratification for Constraint-Based Multi-Objective Combinatorial Optimization
    Terra-Neves, Miguel
    Lynce, Ines
    Manquinho, Vasco
    [J]. PROCEEDINGS OF THE TWENTY-SEVENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2018, : 1376 - 1382
  • [6] Enhancing Constraint-Based Multi-Objective Combinatorial Optimization
    Terra-Neves, Miguel
    Lynce, Ines
    Manquinho, Vasco
    [J]. THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, : 6649 - 6656
  • [7] Decomposed Multi-objective Method Based on Q-Learning for Solving Multi-objective Combinatorial Optimization Problem
    Yang, Anju
    Liu, Yuan
    Zou, Juan
    Yang, Shengxiang
    [J]. BIO-INSPIRED COMPUTING: THEORIES AND APPLICATIONS, PT 1, BIC-TA 2023, 2024, 2061 : 59 - 73
  • [8] Neural Multi-Objective Combinatorial Optimization with Diversity Enhancement
    Chen, Jinbiao
    Zhang, Zizhen
    Cao, Zhiguang
    Wu, Yaoxin
    Ma, Yining
    Ye, Te
    Wang, Jiahai
    [J]. ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 36 (NEURIPS 2023), 2023,
  • [9] An interactive heuristic method for multi-objective combinatorial optimization
    Teghem, J
    Tuyttens, D
    Ulungu, EL
    [J]. COMPUTERS & OPERATIONS RESEARCH, 2000, 27 (7-8) : 621 - 634
  • [10] Genetic local search for multi-objective combinatorial optimization
    Jaszkiewicz, A
    [J]. EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2002, 137 (01) : 50 - 71
12345