https://en.wikipedia.org/wiki/Boolean_satisfiability_problem
https://en.wikipedia.org/wiki/Subset_sum_problem