Theory and Applications of Satisfiability Testing - Sat 2007 : 10th International Conference, Lisbon, Portugal, May 2007 - Proceedings
by Joao Marques-Silva, Karem A. Sakallah Paperback 2007
- Author: Joao Marques-Silva, Karem A. Sakallah
- ISBN 13: 9783540727873
- ISBN 10: 3540727876
- Publication Year: 2007
- Language: English
Specifications
| Index-10 | 3540727876 |
|---|---|
| Index-13 | 9783540727873 |
| Language | English |