Yimou Hou

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 2

Top Topics

Quantified Boolean Formulas

Top Venues

Publications

Yimou Hou, Dantong Ouyang, Xinliang Tian, Liming Zhang
Evolutionary many-objective satisfiability solver for configuring software product lines. Appl. Intell. 52 (9) (2022)
Naiyu Tian, Dantong Ouyang, Yiyuan Wang, Yimou Hou, Liming Zhang
Core-guided method for constraint-based multi-objective combinatorial optimization. Appl. Intell. 51 (6) (2021)