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. KGAuthor(s): Ronald de HaanIllustration(s): 1349 Illustrations, black and white; XI, 398 p. 1349 illus.Number of pages: 398Collection: Theoretical Computer Science and General IssuesPublication date: 2019Dimensions: 234 x 156 x 27Cover type: Paperback / softback
Preț:
Vânzător: Elefant.ro
Brand: Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg