-
Bib ID# 38941
ISBN: 9783642141867
UPC: 10.1007/978-3-642-14186-7
Title: Theory and Applications of Satisfiability Testing – SAT 201013th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
Author: Strichman, Ofer.
Publication Info:
Item Type: Language material