Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications

Logga in för att få ett meddelande när artikeln är tillgänglig igen

Våra kunder säger:

Lägg till din iMusic-önskelista

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

980 pages, Illustrations

Media	Böcker Inbunden Bok (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum	2009
ISBN13	9781586039295
Utgivare	IOS Press
Antal sidor	980
Mått	241 × 168 × 63 mm · 1,89 kg
Redaktör	Biere, A.
Redaktör	Heule, M.
Redaktör	Van Maaren, H.
Redaktör	Walsh, T.