| Shelfclass_id | 4.B.3 |
| Sortkey | SAT |
| Authors | Fahiem Bacchus, Toby Walsh |
| Title | SAT 2005: Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005: proceedings |
| Publisher | Springer-Verlag |
| Year | 2005 |
| Languages | eng |
| Isbn | 3540262768, 9783540262763 |
| Series | Lecture Notes in Computer Science |
| Volume | 3569 |
| Issn | 0302-9743 |
| Description | xii, 492 p. ill. 24 cm. |
| Record date | 20061025 |
| Location | New York |
| Keywords | Propositional calculus, Decision making, Computer algorithms |
| Urlnote | Publisher description |
| Urls | http://www.loc.gov/catdir/enhancements/fy0663/2005927321-d.html |