Theory and Applications of Satisfiability Testing – SAT 2008 [electronic resource] : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings / edited by Hans Kleine Büning, Xishun Zhao.
By: Kleine Büning, Hans.
Contributor(s): Zhao, Xishun | SpringerLink (Online service).
Material type:![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
No physical items for this record
There are no comments for this item.