constraint-satisfaction-problem public under problem 23 List Picture As a command boolean-satisfiability-problemweighted-constraint-satisfaction-problem