AAAI2022约束求解与启发式算法相关论文报告
- Date
- Time
- – Asia/Shanghai
- Venue
- Online, Tencent Meeting (ID: 267-356-071)
Host
HCP (Workshop on Hard Computational Problems: Theory , Algorithms and Applications)
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.