A Survey of Lower Bounds for Satisfiability and Related Problems - Foundations and Trends (R) in Theoretical Computer Science - Dieter van Melkebeek - Książki - now publishers Inc - 9781601980847 - 25 października 2007
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Dieter van Melkebeek

Cena
zł 353,90

Zamówione z odległego magazynu

Przewidywana dostawa 20 - 29 sty 2025
Dodaj do swojej listy życzeń iMusic

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 Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 25 października 2007
ISBN13 9781601980847
Wydawcy now publishers Inc
Strony 128
Wymiary 156 × 234 × 7 mm   ·   190 g
Język English  

Pokaż wszystko

Więcej od Dieter van Melkebeek