Liang, Jiaxin

3 publications

AAAI 2025 DiverSAT: A Novel and Effective Local Search Algorithm for Diverse SAT Problem Jiaxin Liang, Junping Zhou, Minghao Yin

AAAI 2024 Enhance Diversified Top-K MaxSAT Solving by Incorporating New Strategy for Generating Diversified Initial Assignments (Student Abstract) Jiaxin Liang, Junping Zhou, Minghao Yin

IJCAI 2022 AllSATCC: Boosting AllSAT Solving with Efficient Component Analysis Jiaxin Liang, Feifei Ma, Junping Zhou, Minghao Yin