Shelfclass_id |
4.B.3 |
Sortkey |
SAT |
Authors |
Hans Kleine Büning, Xishun Zhao |
Title |
SAT 2008: Theory and Applications of Satisfiability Testing - SAT 2008: 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008: Proceedings |
Publisher |
Springer |
Year |
c2008 |
Languages |
eng |
Isbn |
9783540797180 |
Series |
Lecture Notes in Computer Science |
Volume |
4996 |
Issn |
0302-9743 |
Description |
x, 304 p. ill. 24 cm. |
Record date |
20090827 |
Location |
New York |
Keywords |
Propositional calculus, Decision making, Computer algorithms, Algebra, Boolean |