most citedOn Lower Bounding Minimal Model Count

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

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…