SAT 2005: Satisfiability Research in the Year 2005 - Enrico Giunchiglia - Books - Springer - 9789400787155 - December 3, 2014
In case cover and title do not match, the title is correct

Enrico Giunchiglia
SAT 2005: Satisfiability Research in the Year 2005 2006 edition

Price
$ 158.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 6 - 10

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     Paperback Book   (Book with soft cover and glued back)
Released December 3, 2014
ISBN13 9789400787155
Publishers Springer
Pages 293
Dimensions 155 × 235 × 16 mm   ·   421 g
Editor Giunchiglia, Enrico
Editor Walsh, Toby

More by Enrico Giunchiglia

Show all

Mere med samme udgiver

See all of Enrico Giunchiglia ( e.g. Paperback Book )