https://scholars.lib.ntu.edu.tw/handle/123456789/580984
標題: | Symbolic Uniform Sampling with XOR Circuits | 作者: | Lin Y.-T Jiang J.-H.R Kravets V.N. JIE-HONG JIANG |
關鍵字: | Computer aided design; Sampling; Timing circuits; Algorithm design; Biased sampling; Boolean reasoning; Model Counting; Sampling circuits; Symbolic representation; System verifications; Uniform sampling; Importance sampling | 公開日期: | 2020 | 卷: | 2020-November | 來源出版物: | IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD | 摘要: | Uniform sampling is an important method in statistics and has various applications in model counting, system verification, algorithm design, among others. Symbolic sampling in a Boolean space is a recently proposed technique that combines sampling and symbolic representation for effective Boolean reasoning. Under the framework of symbolic sampling, we propose a method to construct compact XOR circuits achieving uniform sampling in a given Boolean space. The method is further extended to biased sampling within a focused subspace of interest. Experimental results show the effectiveness of compact sampling circuit generation and its potential to facilitate Boolean reasoning. ? 2020 Association on Computer Machinery. |
URI: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85097964917&doi=10.1145%2f3400302.3415616&partnerID=40&md5=3c3c8872faddca1ed6179d9d4dae94e4 https://scholars.lib.ntu.edu.tw/handle/123456789/580984 |
ISSN: | 10923152 | DOI: | 10.1145/3400302.3415616 |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。