Theory and Applications of Satisfiability Testing – SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
Hans Kleine Büning, Xishun Zhao年:
2008
出版:
2008
出版社:
Springer
语言:
english
页:
305
ISBN 10:
3540797181
ISBN 13:
9783540797180
系列:
LNCS 4996
文件:
PDF, 3.45 MB
IPFS:
,
english, 2008