Demo Data from EDBT 2026 / reviewers in the wild / expert
Yizhan Xiang
dblp:431/2682
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2026
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 since 2021Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Mathematical optimization · 50% Automated reasoning and model checking · 50% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Mathematical optimization › integer programming
pseudo-boolean optimization |
1.0 | 1 | 2026 | Improving Exact Algorithm for Pseudo Boolean Optimization with Two New Phase Selection Heuristics · AAAI 2026 |
Automated reasoning and model checking › satisfiability
SAT solving |
1.0 | 1 | 2026 | Improving Exact Algorithm for Pseudo Boolean Optimization with Two New Phase Selection Heuristics · AAAI 2026 |
Methods — techniques the papers use, named apart from their topics
reinforcement learning · 1.0phase selection · 1.0CDCL · 1.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Improving Exact Algorithm for Pseudo Boolean Optimization with Two New Phase Selection HeuristicsabstractPseudo-Boolean optimization (PBO) problem involves optimizing a linear objective function under linear inequality constraints defined over Boolean variables. PBO is widely used for modeling many combinational optimization problems, particularly in some real-world scenarios. In core-guided CDCL-based exact solvers, the way branching variables are assigned, known as phase selection, significantly affects the solving efficiency. This paper introduces two strategies to enhance solver performance by improving phase selection. Firstly, we design a new phase selection strategy that actively guides variables in the objective function toward assignments closer to the optimal solution. Secondly, to prevent the solver from becoming trapped in local solutions, we propose a reinforcement learning-based rephase mechanism that dynamically updates and resets variable phases. We integrate two phase selection strategies into two state-of-the-art PBO solvers and compare them against top-performing solvers from the PB competitions, using benchmarks from these competitions for assessment. The experimental results show that our solvers outperform the winning solver from the competitions. Yujiao Zhao 0001, Yizhan Xiang, Yiyuan Wang 0002, Minghao Yin |
AAAI | 2 |