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:
Title | Authors |
Optimizing Binary Decision Diagrams with MaxSAT for classification | Hao Hu, Mohamed Siala, Marie-José Huguet |
Encoding Multi-valued Decision Diagram Constraints as Binary Constraint Trees | Ruiwei 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 Checking | Weilin Luo, Hai Wan, Rongzhen Ye, Shaowei Cai, Biqing Fang, Delong Zhang |
NukCP: An Improved Local Search Algorithm for Maximum k-Club Problem | Jiejiang Chen, Yiyuan Wang, Shaowei Cai, Minghao Yin, Yupeng Zhou, Wu jieyu. |
A Fast Local Search Algorithm for the Latin Square Completion Problem | Shiwei 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.