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 条
  • [21] Efficient Meta Neural Heuristic for Multi-Objective Combinatorial Optimization
    Chen, Jinbiao
    Wang, Jiahai
    Zhang, Zizhen
    Cao, Zhiguang
    Ye, Te
    Chen, Siyuan
    [J]. ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 36 (NEURIPS 2023), 2023,
  • [22] Multi-Objective Neural Evolutionary Algorithm for Combinatorial Optimization Problems
    Shao, Yinan
    Lin, Jerry Chun-Wei
    Srivastava, Gautam
    Guo, Dongdong
    Zhang, Hongchun
    Yi, Hu
    Jolfaei, Alireza
    [J]. IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, 2023, 34 (04) : 2133 - 2143
  • [23] Combining Local Search and Elicitation for Multi-Objective Combinatorial Optimization
    Benabbou, Nawal
    Leroy, Cassandre
    Lust, Thibaut
    Perny, Patrice
    [J]. ALGORITHMIC DECISION THEORY (ADT 2019), 2019, 11834 : 1 - 16
  • [24] Approximating the Nondominated Frontiers of Multi-Objective Combinatorial Optimization Problems
    Koeksalan, Murat
    Lokman, Banu
    [J]. NAVAL RESEARCH LOGISTICS, 2009, 56 (02) : 191 - 198
  • [25] MULTI-OBJECTIVE COMBINATORIAL OPTIMIZATION DESIGN METHOD FOR THE COMPRESSOR SPLITTER
    Gao, Limin
    Deng, Xiaoming
    Gao, Lei
    Li, Ruiyu
    Zeng, Ruihui
    Liu, Cunliang
    [J]. ASME TURBO EXPO: TURBINE TECHNICAL CONFERENCE AND EXPOSITION, 2015, VOL 2C, 2015,
  • [26] Pareto Simulated Annealing for Fuzzy Multi-Objective Combinatorial Optimization
    Maciej Hapke
    Andrzej Jaszkiewicz
    Roman Słowiński
    [J]. Journal of Heuristics, 2000, 6 : 329 - 345
  • [27] Improving SAT-Based Combinational Equivalence Checking Through Circuit Preprocessing
    Andrade, Fabricio Vivas
    Silva, Leandro M.
    Fernandes, Antonio O.
    [J]. 2008 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN, 2008, : 40 - +
  • [28] Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving
    Berg, Jeremias
    Jarvisalo, Matti
    [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2016, 2016, 9892 : 66 - 85
  • [29] Search techniques for SAT-based Boolean optimization
    Department of Computer Engineering, American University of Sharjah, Sharjah, United Arab Emirates
    [J]. Met. Finish., 2006, 6 (436-447):
  • [30] Prediction of Air Pollution Interval Based on Data Preprocessing and Multi-Objective Dragonfly Optimization Algorithm
    Wang, Jiyang
    Li, Jingrui
    Li, Zhiwu
    [J]. FRONTIERS IN ECOLOGY AND EVOLUTION, 2022, 10
12345