SAT 2005: Satisfiability Research in the Year 2005

by TobyWalsh (Editor), EnricoGiunchiglia (Editor)

New
Hardcover
2006
$204.33

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.

Synopsis

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.

$204.33

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 300
Publisher: Springer
Published: 30 Oct 2006
ISBN 10: 1402045522
ISBN 13: 9781402045523

SAT 2005: Satisfiability Research in the Year 2005

New

$204.33

Synopsis

$204.33

More Information