Chu, Yi

2 publications

JAIR 2025 Improving Local Search Algorithm for Pseudo Boolean Optimization Yujiao Zhao, Yiyuan Wang, Yi Chu, Wenbo Zhou, Shaowei Cai, Minghao Yin

AAAI 2023 NuWLS: Improving Local Search for (Weighted) Partial MaxSAT by New Weighting Techniques Yi Chu, Shaowei Cai, Chuan Luo