Vândut de elefant.ro
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. Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Author(s): Ronald de Haan Illustration(s): 1349 Illustrations, black and white; XI, 398 p. 1349 illus. Number of pages: 398 Collection: Theoretical Computer Science and General Issues Publication date: 2019 Dimensions: 234 x 156 x 27 Cover type: Paperback / softback
Preț:
Comerciant: Elefant.ro
Brand: Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg