Boolean satisfiability problems, etc. In these problems, th