SOUPS: A Variable Ordering Metric for the Saturation Algorithm
SOUPS: A Variable Ordering Metric for the Saturation Algorithm
复制标题
SOUPS：饱和算法的可变排序度量
DOI：
10.1109/acsd.2018.000-4
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Ciardo, Gianfranco
中科院分区：
文献类型：
--
作者：
Smith, Benjamin;Ciardo, Gianfranco
