Cover Image

Theory and applications of satisfiability testing-- SAT 2010 : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /

Bibliographic Details
Corporate Authors: SAT 2010 Edinburgh, Scotland, SpringerLink (Online service)
Other Authors: Strichman, Ofer, Szeider, Stefan
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; Heidelberg : Springer-Verlag, [2010]
Series:LNCS sublibrary. Theoretical computer science and general issues.
Lecture notes in computer science ; 6175.
Subjects:
Computer algorithms > Congresses.
Decision making > Congresses.
Propositional calculus > Congresses.
Electronic books.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA9.3 .S28 2010
 
Call Number Status Get It
QA9.3 .S28 2010 Available