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