decision-problem public under problem 23 List Picture As a command boolean-satisfiability-problemdiscrete-logarithm