Ronald de Haan Parameterized Complexity in the Polynomial Hierarchy

Produktbeskrivelse

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. 1 Paperback / softback 1349 Illustrations, black and white; XI, 398 p. 1349 illus.

Produktspecifikationer