Talk:Decomposition method (constraint satisfaction)
Appearance
To do:
- drawing on an example, similar to that at Constraint satisfaction dual problem
- condition equivalent to acyclicity
- 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?