Yizhan Xiang

Improving Exact Algorithm for Pseudo Boolean Optimization with Two New Phase Selection Heuristics

Pseudo-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