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

Get an email once the item is available
Do you have a profile? Log in
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list
or

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 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.