decision-problem public under problem 23 List Picture As a command %3 n0 decision-problem n2 boolean-satisfiability-problem n0->n2 n3 discrete-logarithm n0->n3 n1 problem n1->n0