Knowledge Compilation meets Uniform Sampling

DOI10.29007/h4p9zbMath1415.68205OpenAlexW2908408690MaRDI QIDQ5222984

Subhajit Roy, Shubham Sharma, Rahul Gupta, Kuldeep S. Meel

Publication date: 4 July 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.29007/h4p9

zbMATH Keywords

SAT solvingknowledge compilationd-DNNFconstrained uniform sampling

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

SMT sampling via model-guided approximation ⋮ Product optimization in stepwise design

This page was built for publication: Knowledge Compilation meets Uniform Sampling