Shelfclass_id |
4.B.3 |
Sortkey |
SAT |
Authors |
Holger H. Hoos, David G. Mitchell |
Title |
SAT 2004: Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004: revised selected papers |
Publisher |
Springer-Verlag |
Year |
2005 |
Languages |
eng |
Isbn |
354027829X, 9783540278290 |
Series |
Lecture Notes in Computer Science |
Volume |
3542 |
Issn |
0302-9743 |
Description |
xiii, 392 p. ill. 24 cm. |
Record date |
20061025 |
Location |
New York |
Keywords |
Propositional calculus, Algebra, Boolean, Computer algorithms, Decision making |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/enhancements/fy0663/2005928808-d.html |