conftrace_

Mao Luo

2 papers · 2017–2023 · 1 conference · across top CS/AI conferences

Achievements

Jump to papers ↓

🏃 Academic Marathon (6) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (15)

Conferences

IJCAI (2)

Top co-authors

Chu-Min Li (2) Felip Manyà (2) Fan Xiao (1) Jordi Coll (1) Zhipeng Lü (1) Shuolin Li (1) Djamal Habet (1)

Keywords

sat solver (2) conflict-driven clause learning (1) combinatorial optimization (1) clause minimization (1) boolean constraint propagation (1) bounded variable elimination (1) variable ordering (1)

Papers

A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers IJCAI 2023 An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers IJCAI 2017