SAT 2005: Satisfiability Research in the Year 2005 - E Glunchiglia - Books - Springer-Verlag New York Inc. - 9781402045523 - October 30, 2006
In case cover and title do not match, the title is correct

E Glunchiglia
SAT 2005: Satisfiability Research in the Year 2005 2006 edition

Price
$ 184.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 24 - Jul 6

Our customers say:

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

This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification.

293 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released October 30, 2006
ISBN13 9781402045523
Publishers Springer-Verlag New York Inc.
Pages 293
Dimensions 155 × 235 × 17 mm   ·   612 g
Language English  
Editor Giunchiglia, Enrico
Editor Walsh, Toby

Mere med samme udgiver

See all of E Glunchiglia ( e.g. Hardcover Book )