Media type: Book; Conference Proceedings Title: Theory and applications of satisfiability testing - SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 ; proceedings Contributor: Marques-Silva, João [Editor]; Sakallah, Karem A. [Other] Event: SAT Published: Berlin; Heidelberg [u.a.]: Springer, 2007 Published in: Lecture notes in computer science ; 4501 Extent: XI, 384 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 3540727876; 9783540727873 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Erfüllbarkeitsproblem Erfüllbarkeitsproblem > Boolesche Formel Constraint-Programmierung Erfüllbarkeitsproblem Erfüllbarkeitsproblem > Boolesche Formel Constraint-Programmierung Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 8389 Item ID: 31733114 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order