A method for counting models on grid Boolean formulas1
Keyword(s):
We present a novel algorithm based on combinatorial operations on lists for computing the number of models on two conjunctive normal form Boolean formulas whose restricted graph is represented by a grid graph Gm,n. We show that our algorithm is correct and its time complexity is O ( t · 1 . 618 t + 2 + t · 1 . 618 2 t + 4 ) , where t = n · m is the total number of vertices in the graph. For this class of formulas, we show that our proposal improves the asymptotic behavior of the time-complexity with respect of the current leader algorithm for counting models on two conjunctive form formulas of this kind.
2020 ◽
Vol 30
(7)
◽
pp. 736-751
2020 ◽
Vol 34
(02)
◽
pp. 1495-1503
Keyword(s):
2020 ◽
Vol 34
(02)
◽
pp. 1468-1476
2006 ◽
Vol 26
◽
pp. 371-416
◽
Keyword(s):
1998 ◽
Vol 68
(2)
◽
pp. 63-69
◽
Keyword(s):