1 option
Theory and Application of Satisfiability Testing : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings / edited by Karem A. Sakallah, Laurent Simon.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 6695.
- Theoretical Computer Science and General Issues ; 6695
- Language:
- English
- Subjects (All):
- Computer logic.
- Computers.
- Algorithms.
- Logic, Symbolic and mathematical.
- Artificial intelligence.
- Logic design.
- Logics and Meanings of Programs.
- Computation by Abstract Devices.
- Algorithm Analysis and Problem Complexity.
- Mathematical Logic and Formal Languages.
- Artificial Intelligence.
- Logic Design.
- Local Subjects:
- Logics and Meanings of Programs.
- Computation by Abstract Devices.
- Algorithm Analysis and Problem Complexity.
- Mathematical Logic and Formal Languages.
- Artificial Intelligence.
- Logic Design.
- Physical Description:
- 1 online resource (XIII, 371 pages) : 63 illustrations, 28 illustrations in color.
- Edition:
- First edition 2011.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
- System Details:
- text file PDF
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-21581-0
- 9783642215810
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.