Parameterized Complexity in the Polynomial Hierarchy
€92.90
Shipping in 4/5 days
Product Information
| ISBN | 9783662606698 |
|---|---|
| Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| Price (excl. tax) | €87.64 |
| Tax | €5.26 |
| Price (incl. tax) | €92.90 |
| Availability | 1 unit in external warehouse |
Product Description
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.