Keyword:Weighted Model Counting

Publications
A Fast and Accurate ASP Counting Based Network Reliability Estimator Mohimenul Kabir and Kuldeep S Meel In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning