1 citations · 2 across the 7 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.LO2024
Minimal Model Counting via Knowledge Compilation
Mohimenul Kabir
Counting the number of models of a Boolean formula is a fundamental problem in artificial intelligence and reasoning. Minimal models of a Boolean formula are critical in various re…
cs.LO2024★ 1 cited
On Lower Bounding Minimal Model Count
Mohimenul Kabir, Kuldeep S Meel
Minimal models of a Boolean formula play a pivotal role in various reasoning tasks. While previous research has primarily focused on qualitative analysis over minimal models; our s…