Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications -  - Bøger - IOS Press - 9781586039295 - 2009

Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications

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

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado USA, 2009
ISBN13 9781586039295
Editoras IOS Press
Páginas 980
Dimensões 241 × 168 × 63 mm   ·   1,89 kg
Editor Biere, A.
Editor Heule, M.
Editor Van Maaren, H.
Editor Walsh, T.