Problems Related to Propositional Satisfiability

In this chapter, we continue the parameterized complexity investigation of problems at higher levels of the Polynomial Hierarchy using the parameterized complexity tools that we developed in Chaps. 4– 7. We look at several parameterized variants of problems related to propositional satisfiability.