Fast Sampling of Perfectly Uniform Satisfying Assignments
Fast Sampling of Perfectly Uniform Satisfying Assignments
复制标题
DOI：
10.1007/978-3-319-94144-8_9
复制
发表时间：
2018-07
期刊：
影响因子：
--
通讯作者：
D. Achlioptas;Zayd Hammoudeh;P. Theodoropoulos
中科院分区：
文献类型：
--
作者：
D. Achlioptas;Zayd Hammoudeh;P. Theodoropoulos
我们提出了一种基于精确模型计数器sharpSAT和油藏采样的满意分配的完全均匀采样算法。在数百个公式的实验中，我们的采样器比目前最先进的产品快10到10万倍。
We present an algorithm for perfectly uniform sampling of satisfying assignments, based on the exact model counter sharpSAT and reservoir sampling. In experiments across several hundred formulas, our sampler is faster than the state of the art by 10 to over 100,000 times.