-
Bib ID# 36232
ISBN: 9783540797197
UPC: 10.1007/978-3-540-79719-7
Title: Theory and Applications of Satisfiability Testing – SAT 200811th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings /
Author: Kleine Büning, Hans.
Publication Info:
Item Type: Language material