Loading…
SAT 2005 Satisfiability Research in the Year 2005 /
This book is devoted to recent progress made 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. The core of many reasoning proble...
| Call Number: | Libro Electrónico |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2006.
|
| Edition: | 1st ed. 2006. |
| Subjects: | |
| Online Access: | Texto Completo |