MathDB1 problem
- 0 votes0 replies0 views
Fixed-variable-order OBDD size conjecture for sparse 2-CNF
Fixed-order OBDD-size conjecture. In that case, we conjecture that the OBDD size is large even below the treewidth threshold, as there is no way to exploit the structure of the pri…