Shuli Hu — accepted AI-conference papers

2026

Towards Cardinality-Aware Local Search for SAT with Cardinality Constraints

Shuli Hu, Dian Ling, Jiaqi Li, Minghao Yin

IJCAI 2026

Satisfiability (SAT) with cardinality constraints arises naturally in many practical applications, where high-level counting requirements coexist with standard Conjunctive Normal Form (CNF) clauses. Translating these constraints into CNF can destroy structural information, limiting the effectiveness

Cited by 0 Scholar ↗

2024

Hierarchical Reinforcement Learning on Multi-Channel Hypergraph Neural Network for Course Recommendation

Lu Jiang, Yanan Xiao, Xinxin Zhao, Yuanbo Xu, Shuli Hu, Pengyang Wang +1

IJCAI 2024poster

With the widespread popularity of massive open online courses, personalized course recommendation has become increasingly important due to enhancing users' learning efficiency. While achieving promising performances, current works suffering from the vary across the users and other MOOC entities. To…

Cited by 2 Source ↗PDF ↗Scholar ↗