A Survey of Lower Bounds for Satisfiability and Related Problems - Foundations and Trends (R) in Theoretical Computer Science - Dieter van Melkebeek - Kirjat - now publishers Inc - 9781601980847 - torstai 25. lokakuuta 2007
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

A Survey of Lower Bounds for Satisfiability and Related Problems - Foundations and Trends (R) in Theoretical Computer Science

Dieter van Melkebeek

Hinta
Mex$ 1.716

Tilattu etävarastosta

Arvioitu toimitus pe - ti 4. - 15. heinä
Lisää iMusic-toivelistallesi
Eller

A Survey of Lower Bounds for Satisfiability and Related Problems - Foundations and Trends (R) in Theoretical Computer Science

Surveys the recently discovered lower bounds for the time and space complexity of satisfiability and closely related problems. It overviews the state-of-the-art results on general deterministic, randomized, and quantum models of computation, and presents the underlying arguments in a unified framework.


128 pages

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 25. lokakuuta 2007
ISBN13 9781601980847
Tuottaja now publishers Inc
Sivujen määrä 128
Mitta 156 × 234 × 7 mm   ·   190 g
Kieli English  

Näytä kaikki

Lisää tuotteita Dieter van Melkebeek