Handbook of Satisfiability
Edición de la obra Handbook of Satisfiability
| Autor | Armin Biere, Hans van Maaren, Toby Walsh |
|---|---|
| Editorial | IOS Press, Incorporated |
| Fecha de publicación | 2009 |
| Idioma | inglés |
| Páginas | 980 |
| ISBN-13 | 9781607503767 |
| Número de Cutter | B588h |