Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications

Connectez-vous pour être averti lorsque le produit est à nouveau disponible.

Nos clients disent :

Ajouter à votre liste de souhaits iMusic

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

980 pages, Illustrations

Médias	Livres Hardcover Book (Livre avec dos et couverture rigide)
Validé	2009
ISBN13	9781586039295
Éditeurs	IOS Press
Pages	980
Dimensions	241 × 168 × 63 mm · 1,89 kg
Éditeur	Biere, A.
Éditeur	Heule, M.
Éditeur	Van Maaren, H.
Éditeur	Walsh, T.