Fortæl dine venner om denne vare:
Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications
Tilføj til din iMusic ønskeseddel
Eller
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