| Shelfclass_id | 4.B.3 |
| Sortkey | SAT |
| Authors | Ian Gent, Hans van Maaren, Toby Walsh |
| Title | SAT 2000: Highlights of Satisfiability Research in the Year 2000 |
| Publisher | IOS Press |
| Year | c2000 |
| Languages | eng |
| Isbn | 1586030612 |
| Series | Frontiers in artificial intelligence and applications |
| Volume | 63 |
| Issn | 0922-6389 |
| Description | v, 561 p. ill. 25 cm. |
| Record date | 20061025 |
| Location | Washington, DC |
| Keywords | Propositional calculus, Decision making, Computer algorithms |
| Notes | on cover: SAT2000 |
| Urlnote | Table of contents |
| Urls | http://www.loc.gov/catdir/toc/fy046/00102853.html |