Abstract | ||
---|---|---|
In this work we count the number of satisfying states of triangulations of a convex n-gon using the transfer matrix method. We show an exponential (in n) lower bound. We also give the exact formula for the number of satisfying states of a strip of triangles. |
Year | Venue | Keywords |
---|---|---|
2010 | ELECTRONIC JOURNAL OF COMBINATORICS | satisfiability,lower bound,transfer matrix method |
Field | DocType | Volume |
Exact formula,Discrete mathematics,Combinatorics,Exponential function,Transfer-matrix method (optics),Upper and lower bounds,Regular polygon,Mathematics | Journal | 17.0 |
Issue | ISSN | Citations |
1.0 | 1077-8926 | 4 |
PageRank | References | Authors |
0.74 | 3 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
A. Jimenez | 1 | 4 | 0.74 |
Marcos A. Kiwi | 2 | 169 | 24.15 |
Martin Loebl | 3 | 152 | 28.66 |