Academic report by Professor He Kun of Huazhong University of Bet365 Casino login and Technology
Reporter:Bet365 Casino login 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。Bet365 Casino login 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 Bet365 Casino login (2016-2017Bet365 Casino login 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 Bet365 Casino login Algorithm Competition on Satisfiability Problems。atNeurIPS、ICLR、CVPR、ICCV、ACL、EMNLP、AAAI、IJCAIetc. Bet365 Casino login conferences andTKDD、TOC、TPDS、TCS、EJOR、CORPublish papers in other authoritative journals140Remaining articles. serveCCF NCTCS 2017-2021Co-chairman of Bet365 Casino login Academic Conference Program Committee, serving asNeurIPS、ICML、ICLR、CVPR、ICCV、AAAI、IJCAI、KDD、WWW、SDMand other Bet365 Casino login conferences(Advanced)Member of the Program Bet365 Casino login.
