SAT 2005: Satisfiability Research in the Year 2005

by TobyWalsh (Editor), EnricoGiunchiglia (Editor)

New
Hardcover
2006
$208.24

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.

$208.24

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

$208.24

Synopsis

$208.24

More Information