boolean-satisfiability-problem public under attribute 1028, constraint-satisfaction-problem 2, decision-problem 2 List Picture As a command %3 n0 boolean-satisfiability-problem n1 attribute n1->n0 n2 constraint-satisfaction-problem n2->n0 n3 decision-problem n3->n0