Parameterized Complexity in the Polynomial Hierarchy : Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy

For problems at higher levels of the PH, a promising solving approach is to develop fixed-parameter tractable reductions to SAT, and to subsequently use a SAT solving algorithm to solve the problem.

• | : Ronald de Haan
• | Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• | Publication Date: Dec 31, 2019
• | Country of Publication: Germany
• | Number of Pages: 398 pages
• | Language: Unknown
• | Binding: Paperback / softback
• | ISBN-10: 3662606690
• | ISBN-13: 9783662606698