Cover Image

Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings /

Bibliographic Details
Corporate Authors: SAT 2008 Guangzhou, China, SpringerLink (Online service)
Other Authors: Kleine Büning, H. (Hans), Zhao, Xishun
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2008]
Series:LNCS sublibrary. Theoretical computer science and general issues.
Lecture notes in computer science. 4996.
Subjects:
Algebra, Boolean > Congresses.
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.
Physical Description:x, 304 pages, 1 unnumbered page : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:354079719X
9783540797197
ISSN:0302-9743 ;
DOI:10.1007/978-3-540-79719-7