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

Multi-Objective Combinatorial Optimization(MOCO), which consists of several conflicting objectives to be optimized, finds an ever-increasing number of uses in many real-world applications. In past years, the research of MOCO mainly focuses on evolutionary algorithms. Recently, constraint-based metho...

Full description

Saved in:

Bibliographic Details
Published in:	Applied intelligence (Dordrecht, Netherlands) Vol. 51; no. 6; pp. 3865 - 3879
Main Authors:	Tian, Naiyu, Ouyang, Dantong, Wang, Yiyuan, Hou, Yimou, Zhang, Liming
Format:	Journal Article
Language:	English
Published:	New York Springer US 01.06.2021 Springer Nature B.V
Subjects:	Algorithms Artificial Intelligence Combinatorial analysis Computer Science Constraints Evolutionary algorithms Machines Manufacturing Mechanical Engineering Multiple objective analysis Optimization Processes Pareto front Constraint Minimal correction set SAT Multi-objective combinatorial optimization
ISSN:	0924-669X, 1573-7497
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Abstract	Multi-Objective Combinatorial Optimization(MOCO), which consists of several conflicting objectives to be optimized, finds an ever-increasing number of uses in many real-world applications. In past years, the research of MOCO mainly focuses on evolutionary algorithms. Recently, constraint-based methods come into the view and have been proved to be effective on MOCO problems. This paper builds on the previous works of constraint-based algorithm MCSEnumPD(AAAI-18) using path diversification method. Due to the inadequacy that the original method fails to prune the redundant search space effectively, this paper proposes the definition of infeasible path and develops a novel algorithm that exploits the properties of unsatisfiable cores, referred as CgPDMCS. The approach extends MCSEnumPD algorithm with a core-guided path diversification method, which avoids solving infeasible paths representing the supersets of the unsatisfiable cores. Experimental results show that the novel approach provides further performance gains over the previous constraint-based algorithms, especially for the instances tightly constrained.
AbstractList	Multi-Objective Combinatorial Optimization(MOCO), which consists of several conflicting objectives to be optimized, finds an ever-increasing number of uses in many real-world applications. In past years, the research of MOCO mainly focuses on evolutionary algorithms. Recently, constraint-based methods come into the view and have been proved to be effective on MOCO problems. This paper builds on the previous works of constraint-based algorithm MCSEnumPD(AAAI-18) using path diversification method. Due to the inadequacy that the original method fails to prune the redundant search space effectively, this paper proposes the definition of infeasible path and develops a novel algorithm that exploits the properties of unsatisfiable cores, referred as CgPDMCS. The approach extends MCSEnumPD algorithm with a core-guided path diversification method, which avoids solving infeasible paths representing the supersets of the unsatisfiable cores. Experimental results show that the novel approach provides further performance gains over the previous constraint-based algorithms, especially for the instances tightly constrained.
Author	Wang, Yiyuan Zhang, Liming Tian, Naiyu Hou, Yimou Ouyang, Dantong
Author_xml	– sequence: 1 givenname: Naiyu surname: Tian fullname: Tian, Naiyu organization: College of Computer Science and Technology, Jilin University, Key Laboratory of Symbolic Computation and Knowledge Engineering, Ministry of Education, Jilin University – sequence: 2 givenname: Dantong surname: Ouyang fullname: Ouyang, Dantong organization: College of Computer Science and Technology, Jilin University, Key Laboratory of Symbolic Computation and Knowledge Engineering, Ministry of Education, Jilin University – sequence: 3 givenname: Yiyuan surname: Wang fullname: Wang, Yiyuan organization: School of Computer Science and Information Technology, Northeast Normal University, Key Laboratory of Symbolic Computation and Knowledge Engineering, Ministry of Education, Jilin University – sequence: 4 givenname: Yimou surname: Hou fullname: Hou, Yimou organization: College of Computer Science and Technology, Jilin University, Key Laboratory of Symbolic Computation and Knowledge Engineering, Ministry of Education, Jilin University – sequence: 5 givenname: Liming orcidid: 0000-0001-8263-4194 surname: Zhang fullname: Zhang, Liming email: limingzhang@jlu.edu.cn organization: College of Computer Science and Technology, Jilin University, Key Laboratory of Symbolic Computation and Knowledge Engineering, Ministry of Education, Jilin University
BookMark	eNp9kMtKAzEUhoNUsFZfwNWA6-jJZWaapRRvUBBEwV2YSc7UlOmkJhlBn95pRxBcdHUW5_vO5T8lk853SMgFgysGUF5HBnKuKHCgwJSa0_yITFleClpKVU7IFBSXtCjU2wk5jXENAEIAm5LnhQ9IV72zaLMNpndvs8aHzPguplC5LtG6irte3yZHfb1Gk9wnDsCmdl2VfHBVm_ltchv3XSXnuzNy3FRtxPPfOiOvd7cviwe6fLp_XNwsqRFMJWokswUgE7m0Agyq2kqQBrEE0ZQVR1kUOTZNbVnOwArF81rZxlqUWEtuxYxcjnO3wX_0GJNe-z50w0rNc66AccbUQM1HygQfY8BGG5f2d-7eazUDvUtQjwnqIUG9T1Dng8r_qdvgNlX4OiyJUYoD3K0w_F11wPoBWuGHiw
CitedBy_id	crossref_primary_10_1007_s10489_022_03169_0 crossref_primary_10_1007_s10489_022_04037_7 crossref_primary_10_1007_s10489_025_06291_x crossref_primary_10_1038_s41598_025_17216_6
Cites_doi	10.1016/0004-3702(87)90062-2 10.1109/TCAD.2018.2812123 10.1109/TSMCB.2012.2231860 10.1109/TETC.2017.2736504 10.1007/BF02917402 10.1109/TRO.2019.2896401 10.1109/TCYB.2014.2343242 10.1007/s10489-019-01528-y 10.3233/SAT190075 10.1109/TEVC.2007.892759 10.1080/01621459.1937.10503522 10.1109/4235.797969 10.1613/jair.4503 10.1109/TEVC.2014.2373386 10.1002/mcda.4020030204 10.1080/0952813021000026795 10.1109/TCAD.2005.858352 10.1016/S0166-218X(01)00341-9 10.1007/s11432-017-9467-7 10.1007/s10817-007-9084-z 10.1007/s10732-009-9103-9 10.1007/s10489-014-0549-6 10.1016/j.future.2015.02.010 10.1016/j.swevo.2017.01.002 10.1016/j.artint.2019.103230 10.1016/j.ejor.2006.08.008 10.1007/978-3-642-21581-0_31 10.1007/978-3-319-24318-4_24 10.24963/ijcai.2018/757 10.1007/978-3-540-89439-1_25 10.1007/978-3-662-46681-0_14 10.1007/978-3-319-66158-2_38 10.24963/ijcai.2018/191 10.24963/ijcai.2019/165 10.1109/GreenCom-CPSCom.2010.137 10.1609/aaai.v34i03.5624 10.1609/aaai.v28i1.9110 10.1007/978-3-540-30217-9_84 10.1007/978-3-319-66263-3_13 10.1109/ICTAI.2015.134 10.1007/3-540-45356-3_83 10.1007/978-3-540-30557-6_14
ContentType	Journal Article
Copyright	Springer Science+Business Media, LLC, part of Springer Nature 2020 Springer Science+Business Media, LLC, part of Springer Nature 2020.
Copyright_xml	– notice: Springer Science+Business Media, LLC, part of Springer Nature 2020 – notice: Springer Science+Business Media, LLC, part of Springer Nature 2020.
DBID	AAYXX CITATION 3V. 7SC 7WY 7WZ 7XB 87Z 8AL 8FD 8FE 8FG 8FK 8FL ABJCF ABUWG AFKRA ARAPS AZQEC BENPR BEZIV BGLVJ CCPQU DWQXO FRNLG F~G GNUQQ HCIFZ JQ2 K60 K6~ K7- L.- L6V L7M L~C L~D M0C M0N M7S P5Z P62 PHGZM PHGZT PKEHL PQBIZ PQBZA PQEST PQGLB PQQKQ PQUKI PRINS PSYQQ PTHSS Q9U
DOI	10.1007/s10489-020-01998-5
DatabaseName	CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest ABI/INFORM Collection ABI/INFORM Global (PDF only) ProQuest Central (purchase pre-March 2016) ABI/INFORM Collection Computing Database (Alumni Edition) Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) ABI/INFORM Collection (Alumni Edition) ProQuest Materials Science & Engineering ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central Business Premium Collection Technology collection ProQuest One Community College ProQuest Central Business Premium Collection (Alumni) ABI/INFORM Global (Corporate) ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection ProQuest Business Collection (Alumni Edition) ProQuest Business Collection Computer Science Database ABI/INFORM Professional Advanced ProQuest Engineering Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional ABI/INFORM Global Computing Database Engineering Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic ProQuest One Academic Middle East (New) ProQuest One Business (UW System Shared) ProQuest One Business (Alumni) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China ProQuest One Psychology Engineering Collection ProQuest Central Basic
DatabaseTitle	CrossRef ProQuest Business Collection (Alumni Edition) ProQuest One Psychology Computer Science Database ProQuest Central Student ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts SciTech Premium Collection ProQuest Central China ABI/INFORM Complete ProQuest One Applied & Life Sciences ProQuest Central (New) Engineering Collection Advanced Technologies & Aerospace Collection Business Premium Collection ABI/INFORM Global Engineering Database ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest Business Collection ProQuest One Academic UKI Edition ProQuest One Academic ProQuest One Academic (New) ABI/INFORM Global (Corporate) ProQuest One Business Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Central (Alumni Edition) ProQuest One Community College ProQuest Central ABI/INFORM Professional Advanced ProQuest Engineering Collection ProQuest Central Korea Advanced Technologies Database with Aerospace ABI/INFORM Complete (Alumni Edition) ProQuest Computing ABI/INFORM Global (Alumni Edition) ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database Materials Science & Engineering Collection ProQuest One Business (Alumni) ProQuest Central (Alumni) Business Premium Collection (Alumni)
DatabaseTitleList	ProQuest Business Collection (Alumni Edition)
Database_xml	– sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database
DeliveryMethod	fulltext_linktorsrc
Discipline	Computer Science
EISSN	1573-7497
EndPage	3879
ExternalDocumentID	10_1007_s10489_020_01998_5
GrantInformation_xml	– fundername: National Natural Science Foundation of China grantid: 61672261; 61872159; 61806050; 61972063 funderid: https://doi.org/10.13039/501100001809
GroupedDBID	-4Z -59 -5G -BR -EM -Y2 -~C -~X .86 .DC .VR 06D 0R~ 0VY 1N0 1SB 2.D 203 23M 28- 2J2 2JN 2JY 2KG 2LR 2P1 2VQ 2~H 30V 3V. 4.4 406 408 409 40D 40E 5GY 5QI 5VS 67Z 6NX 77K 7WY 8FE 8FG 8FL 8TC 8UJ 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AAOBN AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYZH ABAKF ABBBX ABBXA ABDZT ABECU ABFTV ABHLI ABHQN ABIVO ABJCF ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTAH ABTEG ABTHY ABTKH ABTMW ABULA ABUWG ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACIWK ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACZOJ ADHHG ADHIR ADIMF ADINQ ADKNI ADKPE ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFIE AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AENEX AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFEXP AFGCZ AFKRA AFLOW AFQWF AFWTZ AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARAPS ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN AZQEC B-. BA0 BBWZM BDATZ BENPR BEZIV BGLVJ BGNMA BPHCQ BSONS CAG CCPQU COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DWQXO EBLON EBS EIOEI EJD ESBYG FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRNLG FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNUQQ GNWQR GQ6 GQ7 GQ8 GROUPED_ABI_INFORM_COMPLETE GXS H13 HCIFZ HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I09 IHE IJ- IKXTQ ITM IWAJR IXC IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ K60 K6V K6~ K7- KDC KOV KOW L6V LAK LLZTM M0C M0N M4Y M7S MA- N2Q N9A NB0 NDZJH NPVJJ NQJWS NU0 O9- O93 O9G O9I O9J OAM OVD P19 P2P P62 P9O PF0 PQBIZ PQBZA PQQKQ PROAC PSYQQ PT4 PT5 PTHSS Q2X QOK QOS R4E R89 R9I RHV RNI RNS ROL RPX RSV RZC RZE RZK S16 S1Z S26 S27 S28 S3B SAP SCJ SCLPG SCO SDH SDM SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 T16 TEORI TSG TSK TSV TUC U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 Z7R Z7X Z7Z Z81 Z83 Z88 Z8M Z8N Z8R Z8T Z8U Z8W Z92 ZMTXR ZY4 ~A9 ~EX 77I AAPKM AAYXX ABBRH ABDBE ABFSG ABRTQ ACSTC ADHKG ADKFA AEZWR AFDZB AFFHD AFHIU AFOHR AGQPQ AHPBZ AHWEU AIXLP ATHPR AYFIA CITATION PHGZM PHGZT PQGLB 7SC 7XB 8AL 8FD 8FK JQ2 L.- L7M L~C L~D PKEHL PQEST PQUKI PRINS Q9U
ID	FETCH-LOGICAL-c319t-c41d60e1354d30ce9bd404cee703f7a2e4665effbd1510d3925b9dfdde4eb42d3
IEDL.DBID	RSV
ISICitedReferencesCount	5
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000591245100001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	0924-669X
IngestDate	Wed Nov 05 14:43:10 EST 2025 Tue Nov 18 22:31:21 EST 2025 Sat Nov 29 05:33:22 EST 2025 Fri Feb 21 02:48:25 EST 2025
IsPeerReviewed	true
IsScholarly	true
Issue	6
Keywords	Pareto front Constraint Minimal correction set SAT Multi-objective combinatorial optimization
Language	English
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c319t-c41d60e1354d30ce9bd404cee703f7a2e4665effbd1510d3925b9dfdde4eb42d3
Notes	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14
ORCID	0000-0001-8263-4194
PQID	2529012119
PQPubID	326365
PageCount	15
ParticipantIDs	proquest_journals_2529012119 crossref_citationtrail_10_1007_s10489_020_01998_5 crossref_primary_10_1007_s10489_020_01998_5 springer_journals_10_1007_s10489_020_01998_5
PublicationCentury	2000
PublicationDate	20210600 2021-06-00 20210601
PublicationDateYYYYMMDD	2021-06-01
PublicationDate_xml	– month: 6 year: 2021 text: 20210600
PublicationDecade	2020
PublicationPlace	New York
PublicationPlace_xml	– name: New York – name: Boston
PublicationSubtitle	The International Journal of Research on Intelligent Systems for Real Life Complex Problems
PublicationTitle	Applied intelligence (Dordrecht, Netherlands)
PublicationTitleAbbrev	Appl Intell
PublicationYear	2021
Publisher	Springer US Springer Nature B.V
Publisher_xml	– name: Springer US – name: Springer Nature B.V
References	Xu, Li (CR1) 1999; 42 Ke, Zhang, Battiti (CR25) 2013; 43 CR39 Gao, Ouyang, Ye (CR13) 2020; 50 Zhang, Li (CR20) 2007; 11 CR35 CR34 CR33 CR32 CR31 CR30 Zitzler, Thiele (CR43) 1999; 3 Alizadeh, Sharafinejad (CR8) 2019; 38 Wang, Jiang (CR6) 2019; 7 Li, Deb, Zhang (CR26) 2014; 19 CR2 CR4 CR3 Boros, Hammer (CR36) 2002; 123 Luo, Cai, Su (CR5) 2015; 45 Wang, Cai, Chen (CR48) 2020; 280 CR49 CR45 Hung, Song, Yang (CR7) 2006; 25 CR40 Birnbaum, Lozinskii (CR41) 2003; 15 Metodi, Stern, Kalech (CR9) 2014; 51 Imeson, Smith (CR10) 2019; 35 Grégoire, Lagniez, Mazure (CR14) 2014; 41 Liffiton, Sakallah (CR37) 2008; 40 CR19 CR18 CR17 CR16 CR15 CR11 Le Berre, Parrain (CR44) 2010; 7 Ulungu, Teghem (CR42) 1994; 3 Xiao, Li, Luo (CR12) 2019; 62 Zheng, Li, Li (CR46) 2016; 54 Beume, Naujoks, Emmerich (CR23) 2007; 181 Reiter (CR38) 1987; 32 Lust, Teghem (CR24) 2010; 16 Wang, Zhang, Li (CR27) 2017; 34 CR29 CR28 Friedman (CR47) 1937; 32 CR22 CR21 É Grégoire (1998_CR14) 2014; 41 1998_CR28 F Xiao (1998_CR12) 2019; 62 1998_CR29 EL Ulungu (1998_CR42) 1994; 3 D Le Berre (1998_CR44) 2010; 7 E Boros (1998_CR36) 2002; 123 1998_CR22 1998_CR21 X Wang (1998_CR6) 2019; 7 1998_CR15 1998_CR17 1998_CR16 1998_CR19 1998_CR18 F Imeson (1998_CR10) 2019; 35 1998_CR11 K Xu (1998_CR1) 1999; 42 C Luo (1998_CR5) 2015; 45 Z Wang (1998_CR27) 2017; 34 T Lust (1998_CR24) 2010; 16 1998_CR45 Q Zhang (1998_CR20) 2007; 11 1998_CR49 L Ke (1998_CR25) 2013; 43 1998_CR2 1998_CR40 R Reiter (1998_CR38) 1987; 32 1998_CR3 1998_CR4 A Metodi (1998_CR9) 2014; 51 M Friedman (1998_CR47) 1937; 32 J Gao (1998_CR13) 2020; 50 1998_CR35 1998_CR34 N Beume (1998_CR23) 2007; 181 1998_CR39 K Li (1998_CR26) 2014; 19 E Zitzler (1998_CR43) 1999; 3 WNN Hung (1998_CR7) 2006; 25 1998_CR31 E Birnbaum (1998_CR41) 2003; 15 1998_CR30 1998_CR33 1998_CR32 Q Zheng (1998_CR46) 2016; 54 MH Liffiton (1998_CR37) 2008; 40 B Alizadeh (1998_CR8) 2019; 38 Y Wang (1998_CR48) 2020; 280
References_xml	– ident: CR45 – ident: CR22 – volume: 32 start-page: 57 issue: 1 year: 1987 end-page: 95 ident: CR38 article-title: A theory of diagnosis from first principles publication-title: Artif Intell doi: 10.1016/0004-3702(87)90062-2 – ident: CR49 – ident: CR4 – ident: CR39 – ident: CR16 – volume: 38 start-page: 245 issue: 2 year: 2019 end-page: 252 ident: CR8 article-title: Incremental SAT-Based accurate auto-correction of sequential circuits through automatic test pattern generation publication-title: IEEE Trans Comput.-Aided Design Integr Circuits Syst doi: 10.1109/TCAD.2018.2812123 – volume: 43 start-page: 1845 issue: 6 year: 2013 end-page: 1859 ident: CR25 article-title: MOEA/D-ACO: A multiobjective evolutionary algorithm using decomposition and AntColony publication-title: IEEE Transactions on Cybernetics doi: 10.1109/TSMCB.2012.2231860 – volume: 7 start-page: 578 issue: 4 year: 2019 end-page: 584 ident: CR6 article-title: Warning propagation algorithm for the MAX-3-SAT problem publication-title: IEEE Transactions on Emerging Topics in Computing doi: 10.1109/TETC.2017.2736504 – volume: 42 start-page: 494 issue: 5 year: 1999 end-page: 501 ident: CR1 article-title: The SAT phase transition publication-title: Science in China Series E: Technological Sciences doi: 10.1007/BF02917402 – ident: CR35 – ident: CR29 – volume: 35 start-page: 669 issue: 3 year: 2019 end-page: 684 ident: CR10 article-title: An SMT-Based approach to motion planning for multiple robots with complex constraints publication-title: IEEE Trans Robot doi: 10.1109/TRO.2019.2896401 – volume: 45 start-page: 1028 issue: 5 year: 2015 end-page: 1041 ident: CR5 article-title: Clause states based configuration checking in local search for satisfiability publication-title: IEEE Trans Cybern doi: 10.1109/TCYB.2014.2343242 – ident: CR21 – ident: CR19 – volume: 50 start-page: 620 issue: 2 year: 2020 end-page: 633 ident: CR13 article-title: Exploring duality on ontology debugging publication-title: Appl Intell doi: 10.1007/s10489-019-01528-y – volume: 7 start-page: 59 issue: 2-3 year: 2010 end-page: 64 ident: CR44 article-title: The Sat4j library, release 2.2 publication-title: Journal on Satisfiability, Boolean Modeling and Computation doi: 10.3233/SAT190075 – ident: CR15 – volume: 11 start-page: 712 issue: 6 year: 2007 end-page: 731 ident: CR20 article-title: MOEA/D: A multiobjective evolutionary algorithm based on decomposition publication-title: IEEE Trans Evol Comput doi: 10.1109/TEVC.2007.892759 – volume: 32 start-page: 675 issue: 200 year: 1937 end-page: 701 ident: CR47 article-title: The use of ranks to avoid the assumption of normality implicit in the analysis of variance publication-title: J Am Stat Assoc doi: 10.1080/01621459.1937.10503522 – ident: CR11 – ident: CR32 – volume: 3 start-page: 257 issue: 4 year: 1999 end-page: 271 ident: CR43 article-title: Multiobjective evolutionary algorithms: a comparative case study and the strength Pareto approach publication-title: IEEE Trans Evol Comput doi: 10.1109/4235.797969 – volume: 51 start-page: 377 issue: 1 year: 2014 end-page: 411 ident: CR9 article-title: A novel SAT-based approach to model based diagnosis publication-title: J Artif Intell Res doi: 10.1613/jair.4503 – volume: 19 start-page: 694 issue: 5 year: 2014 end-page: 716 ident: CR26 article-title: An evolutionary many-objective optimization algorithm based on dominance and decomposition publication-title: IEEE Trans Evol Comput doi: 10.1109/TEVC.2014.2373386 – volume: 3 start-page: 83 issue: 2 year: 1994 end-page: 104 ident: CR42 article-title: Multi-objective combinatorial optimization problems: A survey publication-title: J Multi-Criteria Decis Anal doi: 10.1002/mcda.4020030204 – volume: 15 start-page: 25 issue: 1 year: 2003 end-page: 46 ident: CR41 article-title: Consistent subsets of inconsistent systems: structure and behaviour publication-title: Journal of Experimental & Theoretical Artificial Intelligence doi: 10.1080/0952813021000026795 – volume: 25 start-page: 1652 issue: 9 year: 2006 end-page: 1663 ident: CR7 article-title: Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis publication-title: IEEE Trans Comput.-Aided Design Integr Circuits Syst doi: 10.1109/TCAD.2005.858352 – volume: 123 start-page: 155 issue: 1-3 year: 2002 end-page: 225 ident: CR36 article-title: Pseudo-Boolean optimization publication-title: Discret Appl Math doi: 10.1016/S0166-218X(01)00341-9 – ident: CR18 – ident: CR2 – volume: 62 start-page: 141 issue: 7 year: 2019 end-page: 153 ident: CR12 article-title: A branching heuristic for SAT solvers based on complete implication graphs publication-title: Science China Information Sciences doi: 10.1007/s11432-017-9467-7 – ident: CR30 – ident: CR33 – volume: 40 start-page: 1 issue: 1 year: 2008 end-page: 33 ident: CR37 article-title: Algorithms for computing minimal unsatisfiable subsets of constraints publication-title: J Autom Reason doi: 10.1007/s10817-007-9084-z – volume: 16 start-page: 475 issue: 3 year: 2010 end-page: 510 ident: CR24 article-title: Two-phase Pareto local search for the biobjective traveling salesman problem publication-title: J Heuristics doi: 10.1007/s10732-009-9103-9 – ident: CR40 – volume: 41 start-page: 1012 issue: 4 year: 2014 end-page: 1023 ident: CR14 article-title: Boosting MUC extraction in unsatisfiable constraint networks publication-title: Appl Intell doi: 10.1007/s10489-014-0549-6 – ident: CR3 – ident: CR17 – volume: 54 start-page: 95 year: 2016 end-page: 122 ident: CR46 article-title: Virtual machine consolidated placement based on multi-objective biogeography-based optimization publication-title: Futur Gener Comput Syst doi: 10.1016/j.future.2015.02.010 – ident: CR31 – volume: 34 start-page: 89 year: 2017 end-page: 102 ident: CR27 article-title: On the use of two reference points in decomposition based multiobjective evolutionary algorithms publication-title: Swarm and Evolutionary Computation doi: 10.1016/j.swevo.2017.01.002 – ident: CR34 – volume: 280 start-page: 103230 year: 2020 ident: CR48 article-title: SCCWalk: An efficient local search algorithm and its improvements for maximum weight clique problem publication-title: Artif Intell doi: 10.1016/j.artint.2019.103230 – ident: CR28 – volume: 181 start-page: 1653 issue: 3 year: 2007 end-page: 1669 ident: CR23 article-title: SMS-EMOA: Multiobjective selection based on dominated hypervolume publication-title: Eur J Oper Res doi: 10.1016/j.ejor.2006.08.008 – volume: 54 start-page: 95 year: 2016 ident: 1998_CR46 publication-title: Futur Gener Comput Syst doi: 10.1016/j.future.2015.02.010 – ident: 1998_CR11 – ident: 1998_CR40 – volume: 15 start-page: 25 issue: 1 year: 2003 ident: 1998_CR41 publication-title: Journal of Experimental & Theoretical Artificial Intelligence doi: 10.1080/0952813021000026795 – volume: 35 start-page: 669 issue: 3 year: 2019 ident: 1998_CR10 publication-title: IEEE Trans Robot doi: 10.1109/TRO.2019.2896401 – ident: 1998_CR19 – ident: 1998_CR2 doi: 10.1007/978-3-642-21581-0_31 – ident: 1998_CR17 doi: 10.1007/978-3-319-24318-4_24 – volume: 3 start-page: 83 issue: 2 year: 1994 ident: 1998_CR42 publication-title: J Multi-Criteria Decis Anal doi: 10.1002/mcda.4020030204 – ident: 1998_CR33 doi: 10.24963/ijcai.2018/757 – ident: 1998_CR15 doi: 10.1007/978-3-540-89439-1_25 – ident: 1998_CR29 – volume: 38 start-page: 245 issue: 2 year: 2019 ident: 1998_CR8 publication-title: IEEE Trans Comput.-Aided Design Integr Circuits Syst doi: 10.1109/TCAD.2018.2812123 – volume: 16 start-page: 475 issue: 3 year: 2010 ident: 1998_CR24 publication-title: J Heuristics doi: 10.1007/s10732-009-9103-9 – volume: 50 start-page: 620 issue: 2 year: 2020 ident: 1998_CR13 publication-title: Appl Intell doi: 10.1007/s10489-019-01528-y – ident: 1998_CR18 – ident: 1998_CR4 – volume: 45 start-page: 1028 issue: 5 year: 2015 ident: 1998_CR5 publication-title: IEEE Trans Cybern doi: 10.1109/TCYB.2014.2343242 – volume: 62 start-page: 141 issue: 7 year: 2019 ident: 1998_CR12 publication-title: Science China Information Sciences doi: 10.1007/s11432-017-9467-7 – volume: 181 start-page: 1653 issue: 3 year: 2007 ident: 1998_CR23 publication-title: Eur J Oper Res doi: 10.1016/j.ejor.2006.08.008 – volume: 51 start-page: 377 issue: 1 year: 2014 ident: 1998_CR9 publication-title: J Artif Intell Res doi: 10.1613/jair.4503 – volume: 32 start-page: 57 issue: 1 year: 1987 ident: 1998_CR38 publication-title: Artif Intell doi: 10.1016/0004-3702(87)90062-2 – volume: 41 start-page: 1012 issue: 4 year: 2014 ident: 1998_CR14 publication-title: Appl Intell doi: 10.1007/s10489-014-0549-6 – volume: 42 start-page: 494 issue: 5 year: 1999 ident: 1998_CR1 publication-title: Science in China Series E: Technological Sciences doi: 10.1007/BF02917402 – volume: 11 start-page: 712 issue: 6 year: 2007 ident: 1998_CR20 publication-title: IEEE Trans Evol Comput doi: 10.1109/TEVC.2007.892759 – ident: 1998_CR30 doi: 10.1007/978-3-662-46681-0_14 – volume: 280 start-page: 103230 year: 2020 ident: 1998_CR48 publication-title: Artif Intell doi: 10.1016/j.artint.2019.103230 – volume: 19 start-page: 694 issue: 5 year: 2014 ident: 1998_CR26 publication-title: IEEE Trans Evol Comput doi: 10.1109/TEVC.2014.2373386 – volume: 7 start-page: 578 issue: 4 year: 2019 ident: 1998_CR6 publication-title: IEEE Transactions on Emerging Topics in Computing doi: 10.1109/TETC.2017.2736504 – ident: 1998_CR31 doi: 10.1007/978-3-319-66158-2_38 – volume: 40 start-page: 1 issue: 1 year: 2008 ident: 1998_CR37 publication-title: J Autom Reason doi: 10.1007/s10817-007-9084-z – volume: 34 start-page: 89 year: 2017 ident: 1998_CR27 publication-title: Swarm and Evolutionary Computation doi: 10.1016/j.swevo.2017.01.002 – volume: 3 start-page: 257 issue: 4 year: 1999 ident: 1998_CR43 publication-title: IEEE Trans Evol Comput doi: 10.1109/4235.797969 – volume: 32 start-page: 675 issue: 200 year: 1937 ident: 1998_CR47 publication-title: J Am Stat Assoc doi: 10.1080/01621459.1937.10503522 – ident: 1998_CR34 doi: 10.24963/ijcai.2018/191 – ident: 1998_CR35 doi: 10.24963/ijcai.2018/191 – ident: 1998_CR28 doi: 10.24963/ijcai.2019/165 – ident: 1998_CR45 doi: 10.1109/GreenCom-CPSCom.2010.137 – volume: 43 start-page: 1845 issue: 6 year: 2013 ident: 1998_CR25 publication-title: IEEE Transactions on Cybernetics doi: 10.1109/TSMCB.2012.2231860 – ident: 1998_CR49 doi: 10.1609/aaai.v34i03.5624 – ident: 1998_CR3 doi: 10.1609/aaai.v28i1.9110 – volume: 7 start-page: 59 issue: 2-3 year: 2010 ident: 1998_CR44 publication-title: Journal on Satisfiability, Boolean Modeling and Computation doi: 10.3233/SAT190075 – volume: 123 start-page: 155 issue: 1-3 year: 2002 ident: 1998_CR36 publication-title: Discret Appl Math doi: 10.1016/S0166-218X(01)00341-9 – ident: 1998_CR22 doi: 10.1007/978-3-540-30217-9_84 – ident: 1998_CR32 doi: 10.1007/978-3-319-66263-3_13 – ident: 1998_CR16 doi: 10.1109/ICTAI.2015.134 – volume: 25 start-page: 1652 issue: 9 year: 2006 ident: 1998_CR7 publication-title: IEEE Trans Comput.-Aided Design Integr Circuits Syst doi: 10.1109/TCAD.2005.858352 – ident: 1998_CR21 doi: 10.1007/3-540-45356-3_83 – ident: 1998_CR39 doi: 10.1007/978-3-540-30557-6_14
SSID	ssj0003301
Score	2.284513
Snippet	Multi-Objective Combinatorial Optimization(MOCO), which consists of several conflicting objectives to be optimized, finds an ever-increasing number of uses in...
SourceID	proquest crossref springer
SourceType	Aggregation Database Enrichment Source Index Database Publisher
StartPage	3865
SubjectTerms	Algorithms Artificial Intelligence Combinatorial analysis Computer Science Constraints Evolutionary algorithms Machines Manufacturing Mechanical Engineering Multiple objective analysis Optimization Processes
SummonAdditionalLinks	– databaseName: ABI/INFORM Global dbid: M0C link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV07T8MwELagMLBQnqJQUAY2sIgT22kmhCoqBqgQAqlblPiBimhT2pTfz13iNAIJFmY7VpKzv_vO9yLk3AAnsDbgNEoZp5yBgdKzLKVGcs0Vy4DUlXVm76PhsDcaxY_uwm3hwiprTCyBWucK78ivAoEeP6xHdj37oNg1Cr2rroXGOtlAZoO18x_8_gqJwVYvO-aBjUGljEcuacalznEMFgowLAvTzMR3xdSwzR8O0lLvDNr_feMdsu0Yp3dTbZFdsmame6Rdd3Pw3OHeJ0_9fG7o63KsjfaqxtIeMFpPIYPERhIFRZUHYxiDSPPsrcJKmDAB8xqNd9jLXg4YNHHJnQfkZXD73L-jruMCVXAUC6o409I3LBRch74ycaa5z0GPAi7YKA0Ml1IYazMNRMHXwK1EFmsLEMlNxgMdHpLWNJ-aI-KlgF6xDTWDuVz6PPUjaWKR9UQMa2reIaz-3Yly5cjxY96TppAyiigBESWliBLRIRerZ2ZVMY4_Z3druSTuYC6SRigdcllLthn-fbXjv1c7IVsBRruU9zNd0irmS3NKNtVnMV7Mz8pt-QUhTufp priority: 102 providerName: ProQuest
Title	Core-guided method for constraint-based multi-objective combinatorial optimization
URI	https://link.springer.com/article/10.1007/s10489-020-01998-5 https://www.proquest.com/docview/2529012119
Volume	51
WOSCitedRecordID	wos000591245100001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVAVX databaseName: Springer Online Journals customDbUrl: eissn: 1573-7497 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0003301 issn: 0924-669X databaseCode: RSV dateStart: 19970101 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3dT8IwEL8I-OCL-BlRJHvwTZuso-3YoxKIiUoI-IG-LNvaGYwwA8O_3-vWiRo10ZcmS2_Ndm3vftfeB8CRQkwQxw4jbkAZYRQNlFZMA6IEkyyiIYK6LM_spdvrtUYjr2-CwuaFt3txJZlJ6g_Bbky79zjakUoHhvESVHTyEl23YDC8fZe_aKFndfLQsiBCeCMTKvP9GJ_V0RJjfrkWzbRNt_q_79yAdYMurdN8OWzCippuQbWo3GCZjbwNg3YyU-RxMZZKWnkRaQvRqxVptKiLRqREqzfs0_6GJAmfcrmIBBM0pbWhjuvWSlDeTEwg5w7cdDvX7XNiqiuQCLddSiJGpbAVbXImm3akvFAym6HORBkQu4GjmBBcxXEoERTYEnEUDz0ZozhkKmSObO5CeZpM1R5YAUoqL25KirRM2CywXaE8Hra4h2NKVgNaMNmPTOpx_TPP_jJpsmaaj0zzM6b5vAbH7--85Ik3fqWuF3Pnm0049x2uL4l1CrsanBRztez-ebT9v5EfwJqjPV2ys5k6lNPZQh3CavSajuezBpTcu_sGVM46vf4Any5cgu2V3datO8S2zx8a2RJ-A7U95Jk
linkProvider	Springer Nature
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V3LTgIxFL1BNNGN-Iz4nIWutHEe7cAsjDEo0YCEGEyIm3Fm2jEYYRBQ40_5jd47D4gmsmPhup0mnZ6ee9reB8ChQk0QhiZnJc_gjBt4QCmHhseUzSUPDB9FXZxntl5qNMrtttPMwVcWC0NulRknxkQto4DuyE9NQS9-lI_svP_KqGoUva5mJTQSWNTU5wce2YZnN5e4vkemWb1qVa5ZWlWABQi3EQu4IW1dGZbg0tID5fiS6xxtBWI_LHmm4rYtVBj6Eo2hLlE_CN-RIdIAVz43pYXjzsE8ygiHiKApHsbMb1lxuWUdzzTMtp12GqSThupxck4yyQ2MwtrET0M4Ube_HmRjO1ct_Lc_tALLqaLWLpItsAo51VuDQlatQkvJax3uKtFAsae3jlRSSwpna6jYtYAUMhXKGDEy6dhGPpYs8p8TW4Adun6nR5cTuFe1CDm2mwavbsD9TGa2Cfle1FNboHnIzk5oSQP7clvnnl6ylSP8snBwTMmLYGTL6wZpunWazIs7SRRNkHAREm4MCVcU4Xj8TT9JNjK1926GAzclnqE7AUERTjIkTZr_Hm17-mgHsHjduq279ZtGbQeWTPLsie-idiE_GrypPVgI3ked4WA_3hIaPM4aYd_VdUeA
linkToPdf	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LT9tAEB7RUCEuQAuo4ekDnNpV_Bjb8aGqUCAiShqhqpVyM7Z3FwU1cUhCK_5af11n7HWiIsEth553PdJ6v3ns7sx8AGeKYgKtXRRh4qBAhw4oTe0kQgUoMXNSCuqKPrO9sN9vDgbRzRr8qWphOK2ysomFoZZ5xnfkDdfnFz_uR9bQJi3i5rL9ZfIgmEGKX1orOo0SIl319JuOb7PPnUva63PXbV99b10LwzAgMoLeXGToyMBWjuej9OxMRalEG8lvkB7oMHEVBoGvtE4lOUZbUizhp5HUZBJQpehKj-S-gfUQMeK-_V_t1sILeF5BvWzT-UYEQTQwBTumbA85UcnllDAucfP_dYrLSPfZ42zh89rb__Pf2oEtE2lbF6VqvIM1NX4P2xWLhWWM2i58a-VTJe4eh1JJqyTUtiiStzKOnJlAYy7Y1dMY516KPL0vfQRNGKXDMV9akA5bOdnekSlq3YMfK1nZPtTG-Vh9ACshqx1pTzo0FwMbEzsMVOSnTT8imRLr4FRbHWemDTsv5me8bCDN8IgJHnEBj9ivw8fFN5OyCcmrs48qTMTGIM3iJSDq8KlC1XL4ZWkHr0s7hQ0CVtzr9LuHsOlywk9xRXUEtfn0UR3D2-zXfDibnhTaYcHtqgH2F1xYUAk
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Core-guided+method+for+constraint-based+multi-objective+combinatorial+optimization&rft.jtitle=Applied+intelligence+%28Dordrecht%2C+Netherlands%29&rft.au=Tian%2C+Naiyu&rft.au=Ouyang%2C+Dantong&rft.au=Wang%2C+Yiyuan&rft.au=Hou%2C+Yimou&rft.date=2021-06-01&rft.pub=Springer+US&rft.issn=0924-669X&rft.eissn=1573-7497&rft.volume=51&rft.issue=6&rft.spage=3865&rft.epage=3879&rft_id=info:doi/10.1007%2Fs10489-020-01998-5&rft.externalDocID=10_1007_s10489_020_01998_5
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0924-669X&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0924-669X&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0924-669X&client=summon