Cover Image

Theory and applications of satisfiability testing--SAT 2009 : 12th international conference, SAT 2009, Swansea, UK, June 30-July 3, 2009 : proceedings /

Bibliographic Details
Corporate Author: SAT 2009 Swansea, Wales
Other Authors: Kullmann, Oliver
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2009]
Series:LNCS sublibrary. Theoretical computer science and general issues.
Lecture notes in computer science ; 5584.
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:Description based on print version record.
Electronic resource.
Physical Description:1 online resource (xii, 540 pages) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:3642027776
9783642027772
ISSN:0302-9743 ;
DOI:10.1007/978-3-642-02777-2