AAAI2022约束求解与启发式算法相关论文报告

Host:

HCP (Workshop on Hard Computational Problems: Theory , Algorithms and Applications)

Time:

  • 13:00-19:00 (Time in Beijing)
  • May 27, 2022 (Friday)

Venue:

Online, Tencent Meeting (ID: 267-356-071)

Agenda:

TitleAuthors
Optimizing Binary Decision Diagrams with MaxSAT for  classificationHao Hu, Mohamed Siala, Marie-José Huguet
Encoding Multi-valued Decision Diagram Constraints  as Binary Constraint TreesRuiwei Wang, Roland H. C. Yap
A First Mathematical Runtime Analysis of the  Non-Dominated Sorting Genetic Algorithm II (NSGA-II)Weijie Zheng, Yufei Liu, Benjamin Doerr
        15 mins Break
Improving Local Search Algorithms via Probabilistic  Configuration CheckingWeilin Luo, Hai Wan, Rongzhen Ye, Shaowei Cai, Biqing Fang, Delong  Zhang
NukCP: An Improved Local Search Algorithm for Maximum k-Club  ProblemJiejiang Chen, Yiyuan Wang, Shaowei Cai, Minghao Yin, Yupeng Zhou, Wu  jieyu.
A Fast Local Search Algorithm for the Latin Square Completion  ProblemShiwei Pan, Yiyuan Wang, Minghao Yin
An Exact Algorithm with New Upper Bounds for the Maximum  k-Defective Clique Problem in Massive Sparse Graphs.Jian Gao, Zhenghang Xu, Ruizhi Li, Minghao Yin

For more information, Click here.

,