Academic report by Professor He Kun of Huazhong University of Bet365 Casino login and Technology

Reporter:He Kun

Reporting location:Tencent Conference:737-267-161

Report time:2022Year11month1Sunday二Afternoon4:00

Report title:Optimization from the perspective of escaping from the Bet365 Casino login optimumMaxSAT14620_14625

Report Introduction:

MaxSAT’s Bet365 Casino login has always been a very popular and widely studied method。In recent years，Many effective strategies and techniques have been proposed or migrated for improvementMaxSAT's local search algorithm。For example, configuration detection Bet365 Casino login、Probabilistic sampling Bet365 Casino login、Clause weighting Bet365 Casino login、Initial deconstruction Bet365 Casino login, etc.。ButMaxSATSome basic frameworks and mechanisms in Bet365 Casino login algorithms have not been improved，For example, the common local optimal escape strategy based on simple random walk，And a search mechanism that only flips a single variable per iteration，These mechanisms are not conducive to the algorithm choosing a good search direction when escaping from the local optimum。In view of this situation，We proposed a multi-armed bandit based onlook-aheadTwo Bet365 Casino login optimal escape strategies for double-layer variable flipping，Significant improvements over the best availableMaxSATBet365 Casino loginSATLike3.0。We further combine the proposed methods with decision trees，Improved famousMaxSATNon-complete solverSATLike-c, improved solverDT-HyWalkatMaxSAT Evaluation 2022Won three runner-up places in four tracks in the incomplete group、A third runner-up。Based on the same kind of decision tree methodSATSolverKissat_MAB-HyWalkObtainedSAT Competition 2022Main track champion.

About the speaker：

He Kun，Professor, School of Computer Bet365 Casino login, Huazhong University of Bet365 Casino login and Technology、Doctoral Supervisor，Cornell UniversityMary UpsonNamed visiting professor (2016-2017school year).CCFOutstanding Member,ACM/IEEEPremium member,CCFDeputy Director of Theoretical Computer Bet365 Casino login Committee。Main research areas include trusted artificial intelligence、Graph data mining、Learning-based optimization, etc.。As the project leader, he has successively undertaken a number of national natural Bet365 Casino login foundation enterprise joint key projects and general projects，Won the Best Paper Award at the International Conference on Principles and Practice of Constraint Programming、2022 SATAwardes such as champion of the main track of the International Algorithm Competition on Satisfiability Problems。atNeurIPS、ICLR、CVPR、ICCV、ACL、EMNLP、AAAI、IJCAIetc. international academic conferences andTKDD、TOC、TPDS、TCS、EJOR、CORPublish papers in other authoritative journals140Remaining articles. serveCCF NCTCS ​​2017-2021Co-chairman of the International Academic Conference Program Committee, serving asNeurIPS、ICML、ICLR、CVPR、ICCV、AAAI、IJCAI、KDD、WWW、SDMand other international academic conferences(Advanced)Member of the Program Committee.