Satisfiability problem
theory and applications : DIMACS workshop, March 11-13, 1996
Edición de la obra Satisfiability problem
| Autor | Dingzhu Du, Jun Gu, Panos M. Pardalos |
|---|---|
| Editorial | American Mathematical Society |
| Fecha de publicación | 1997 |
| Lugar | Providence, R.I |
| Idioma | inglés |
| Páginas | 724 |
| ISBN-10 | 0821804790 |
| OCLC | 37180933 |
| LCCN | 97025448 |