Finding more CSPs that are interesting

[jpfairbanks]

We need CSPs that are more complicated than k-coloring. And their representing graphs.

[samuelsonric]

• Graph colorings (star? acyclic?) are used in automatic differentiation and there are number of Julia libraries for computing them.

  • SparseMatrixColorings.jl
  • ColPack.jl
  • SparseDiffTools.jl

• The package GenericTensorNetworks.jl is solving constraint problems using tensor networks. Maybe there is a UWD interpretation of this?