VU Boekhandel

Hoofdkenmerken

Auteur:	Gu, Jun; Etc.
Titel:	Algorithms for the Satisfiability Problem
Uitgever:	Cambridge University Press
ISBN:	9780521640411
Land van oorsprong:	United Kingdom
Prijs:	€ 39.93
Verschijningsdatum:	01-06-2020
Bericht:	Langere levertijd (2-3 weken)

Inhoudelijke kenmerken

Leesniveau:	Professional & Scholarly
Categorie:	Algorithms & data structures

Technische kenmerken

Verschijningsvorm:	Hardback
Paginas:	250

Describes state-of-the-art methods and discusses tradeoffs and limitations in the rapidly growing field of satisfiability testing.