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
Description
Item Description:Electronic resource.
International conference proceedings.
Physical Description:xiii, 400 pages
Bibliography:Includes bibliographical references and author index.
ISBN:3642141862
9783642141867
DOI:10.1007/978-3-642-14186-7