Limit search to available items
Book Cover
Author SAT 2008 (2008 : Guangzhou, China)

Title Theory and applications of satisfiability testing--SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / Hans Kleine Büning, Xishun Zhao (eds.)
Published Berlin ; New York : Springer, [2008]
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (x, 304 pages, 1 unnumbered page) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 4996
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 4996. 0302-9743
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Summary This book constitutes the refereed proceedings of the 11th International Conference on Theory and Applications of Satisfiability Testing, SAT 2008, held in Guangzhou, P.R. China, in May 2008. The 17 revised full papers presented together with 8 revised short papers and 2 invited talks were carefully selected from 70 submissions. All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including but not limited to proof systems, proof complexity, search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results
Bibliography Includes bibliographical references and index
Subject Propositional calculus -- Congresses.
Decision making -- Congresses.
Computer algorithms -- Congresses.
Algebra, Boolean -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Kleine Büning, H. (Hans)
Zhao, Xishun.
LC no. 2008925418
ISBN 9783540797180 (softcover ; alk. paper)
3540797181 (softcover ; alk. paper)
Other Titles Satisfiability testing
SAT 2008