Limit search to available items
Book Cover
E-book
Author SAT 2011 (2011 : Ann Arbor, Mich.)

Title Theory and application of satisfiability testing--SAT 2011 : 14th international conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings / Karem A. Sakallah, Laurent Simon (eds.)
Published Berlin : Springer, 2011

Copies

Description 1 online resource (xii, 380 pages) : illustrations
Series Lecture notes in computer science, 1611-3349 ; 6695
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 6695. 0302-9743
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Summary This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011. The 25 revised full papers presented together with abstracts of 2 invited talks and 10 poster papers were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on complexity analysis, binary decision diagrams, theoretical analysis, extraction of minimal unsatisfiable subsets, SAT algorithms, quantified Boolean formulae, model enumeration and local search, and empirical evaluation
Analysis algoritmen
algorithms
computeranalyse
computer analysis
wiskunde
mathematics
ontwerp
design
computerwetenschappen
computer sciences
computational science
logica
logic
kunstmatige intelligentie
artificial intelligence
Information and Communication Technology (General)
Informatie- en communicatietechnologie (algemeen)
Bibliography Includes bibliographical references and author index
Notes Print version record
Subject Computer algorithms -- Congresses
Propositional calculus -- Congresses
Computer software -- Verification -- Congresses
Informatique.
Computer algorithms.
Computer software -- Verification.
Propositional calculus.
Genre/Form Electronic books
Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
Form Electronic book
Author Sakallah, Karem A.
Simon, Laurent
ISBN 9783642215810
3642215815
3642215807
9783642215803
Other Titles SAT 2011