Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications -  - Bücher - IOS Press - 9781586039295 - 2009
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications

Zu deiner iMusic Wunschliste hinzufügen

Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications

A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.


980 pages, Illustrations

Medien Bücher     Gebundenes Buch   (Buch mit hartem Rücken und steifem Einband)
Erscheinungsdatum USA, 2009
ISBN13 9781586039295
Verlag IOS Press
Seitenanzahl 980
Maße 241 × 168 × 63 mm   ·   1,89 kg
Redakteur Biere, A.
Redakteur Heule, M.
Redakteur Van Maaren, H.
Redakteur Walsh, T.