Keyword:Constrained Uniform Sampling

Papers
Knowledge Compilation meets Uniform Sampling Shubham Sharma, Rahul Gupta, Subhajit Roy and Kuldeep S. Meel In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning