1420 search results - page 1 / 284 » Representation of Graphs by OBDDs |
ISAAC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. In this paper, the space requirements for the OBDD representation of certain graph classes, specifically cographs, several types of graphs with few P4s, unit interval gr...
ICCTA
2007
IEEE
13 years 8 months ago
2007
IEEE
We have carried out experimental research into implicit representation of large graphs using reduced ordered binary decision diagrams (OBDDs). We experimentally show that for grap...
AAAI
2010
13 years 2 months ago
2010
We consider in this paper the size of a Decomposable Negation Normal Form (DNNF) that respects a given vtree (known as structured DNNF). This representation of propositional knowl...
SOFSEM
2005
Springer
13 years 10 months ago
2005
Springer
COCOON
2006
Springer
13 years 8 months ago
2006
Springer
We present an efficient reduction mapping undirected graphs G with n = 2k vertices for integers k to tables of partially specified Boolean functions g : {0, 1}4k+1 {0, 1, } so tha...