[직수입양서]
Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, Mi, Usa, June 19-22, 2011, Proceedings
[ Paperback ]
[직수입양서]
Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, Wa, Usa, August 12-15, 2006, Proceedings
[ Paperback ]