Media type: Book; Conference Proceedings Title: Theory and applications of satisfiability testing : 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005 ; proceedings Contains: Literaturangaben Contributor: Bacchus, Fahiem [Hrsg.] Event: SAT imprint: Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3569 Extent: XII, 492 S.; graph. Darst Language: English ISBN: 3540262768; 9783540262763 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Erfüllbarkeitsproblem Erfüllbarkeitsproblem > Boolesche Formel Origination: Footnote: Includes bibliographical references and index
Departmental Library DrePunct – stack Shelf-mark: R2016 8 6920 Item ID: 31197363 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order