Talk:Decomposition method (constraint satisfaction)
Appearance
To do:
- drawing on an example, similar to that at Constraint satisfaction dual problem
condition equivalent to hypergraph acyclicitythis is said in tree clustering; move above?- clique-width
- computing width and decomposition (cost, LOGCFL)
other structural restrictions: anything to add?algorithms for the resulting acyclic problems:something else to be mentioned here?