Our work on lower bounding minimal model count</a> has been accepted to <a href="https://www.iclp24.utdallas.edu/">ICLP 2024</a>. We present two techniques for lower bounding the number of minimal models of a propositional formula. The work has been selected for TPLP journal Authors: Mohimenul Kabir and Kuldeep S. Meel

Name: Our work on lower bounding minimal model count has been accepted to ICLP 2024 . We present two techniques for lower bounding the number of minimal models of a propositional formula. The work has been selected for TPLP journal Authors: Mohimenul Kabir and Kuldeep S. Meel
Start: 2024-09-05T00:00:00-04:00

Date

Sep 5, 2024 12:00 AM

Meel Group

Department of Computer Science