Detalls del llibre
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.
Llegir més - Autor/a Ronald De Haan
- ISBN13 9783662606698
- ISBN10 3662606690
- Pàgines 398
- Any Edició 2019
- Fecha de publicación 31/12/2019
- Idioma Alemany, Francès
Ressenyes i valoracions
Parameterized Complexity in the Polynomial Hierarchy: Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy (Alemany, Francès)
- De
- Ronald De Haan
- 9783662606698



