-
Bib ID# 34060
ISBN: 9783540727880
UPC: 10.1007/978-3-540-72788-0
Title: Theory and Applications of Satisfiability Testing – SAT 200710th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings /
Author: Marques-Silva, João.
Publication Info:
Item Type: Language material