What is the 3-SAT problem?
How did Sakamoto et al. use a DNA computer to solve a 3-SAT problem?
What is suppressor logic?
How could suppressor logic be used to solve the Sakamot 3-SAT problem?