Login / Signup
Guangwei She
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Sat Instances
Stochastic Local Search
Variable Ordering
Optimal Solution
Top Venues
计算机科学
</>
Publications
</>
Guangwei She
,
Daoyun Xu
用于求解正则(3, 4)-SAT实例集的修正警示传播算法 (Modified Warning Propagation Algorithm for Solving Regular (3, 4)-SAT Instance Sets).
计算机科学
45 (11) (2018)