1
Summary of algorithms for solving RB model instances in constraint satisfiability
约束可满足性中求解RB模型实例的算法综述
No. 7, 2023 : 1929-1936,1946
doi:10.19734/j.issn.1001-3695.2022.11.0567