Theory and Application of Satisfiability Testing
14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings
Szerző:
Karem A. Sakallah, Laurent Simon
Elérhetőség:
Beszállítói készleten alacsony példányszámban
Küldés 14-21 napon belül
22 238
Ft
This book constitutes the refereed proceedings of the 14th International Conference on Theory and Ap...
