Parameterized complexity in the polynomial hierarchy: extending parameterized complexity theory to higher levels of the hierarchy
Auteur :
de Haan, Ronald
Éditeur :
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN :
9783662606698
Date de publication :
31 déc. 2019
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Allemagne
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.