Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications -  - Books - IOS Press - 9781586039295 - 2009
In case cover and title do not match, the title is correct

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

Media Books     Hardcover Book   (Book with hard spine and cover)
Released USA, 2009
ISBN13 9781586039295
Publishers IOS Press
Pages 980
Dimensions 241 × 168 × 63 mm   ·   1.89 kg
Editor Biere, A.
Editor Heule, M.
Editor Van Maaren, H.
Editor Walsh, T.