Core-guided method for constraint-based multi-objective combinatorial optimization

作者: Naiyu Tian , Dantong Ouyang , Yiyuan Wang , Yimou Hou , Liming Zhang

DOI: 10.1007/S10489-020-01998-5

关键词:

摘要: Multi-Objective Combinatorial Optimization(MOCO), which consists of several conflicting objectives to be optimized, finds an ever-increasing number uses in many real-world applications. In past years, the research MOCO mainly focuses on evolutionary algorithms. Recently, constraint-based methods come into view and have been proved effective problems. This paper builds previous works algorithm MCSEnumPD(AAAI-18) using path diversification method. Due inadequacy that original method fails prune redundant search space effectively, this proposes definition infeasible develops a novel exploits properties unsatisfiable cores, referred as CgPDMCS. The approach extends MCSEnumPD with core-guided method, avoids solving paths representing supersets cores. Experimental results show provides further performance gains over algorithms, especially for instances tightly constrained.

参考文章(50)
Daniel Le Berre, Anne Parrain, The SAT4J library, Release 2.2, System Description Journal on Satisfiability, Boolean Modeling and Computation. ,vol. 7, pp. 59- 64 ,(2010) , 10.3233/SAT190075
Shaowei Cai, Kaile Su, Comprehensive score: towards efficient local search for SAT with long clauses international joint conference on artificial intelligence. pp. 489- 495 ,(2013)
Nikolaj Bjørner, Anh-Dung Phan, Lars Fleckenstein, νZ - An Optimizing SMT Solver Tools and Algorithms for the Construction and Analysis of Systems. pp. 194- 199 ,(2015) , 10.1007/978-3-662-46681-0_14
Alessandro Balestrino, Manuale di economia politica Bizzarri. ,(1965)
M. Fareed Arif, Carlos Mencía, Joao Marques-Silva, Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing theory and applications of satisfiability testing. pp. 324- 342 ,(2015) , 10.1007/978-3-319-24318-4_24
James Bailey, Peter J. Stuckey, Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization Practical Aspects of Declarative Languages. ,vol. 3350, pp. 174- 186 ,(2005) , 10.1007/978-3-540-30557-6_14
Jian Gao, Minghao Yin, Ke Xu, Phase transitions in knowledge compilation: an experimental study theory and applications of satisfiability testing. pp. 364- 366 ,(2011) , 10.1007/978-3-642-21581-0_31
Ke Xu, Wei Li, The SAT phase transition Science China-technological Sciences. ,vol. 42, pp. 494- 501 ,(1999) , 10.1007/BF02917402
Eckart Zitzler, Simon Künzli, Indicator-Based Selection in Multiobjective Search parallel problem solving from nature. pp. 832- 842 ,(2004) , 10.1007/978-3-540-30217-9_84