Theory and Application of Satisfiability Testing : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings /

Theory and Application of Satisfiability Testing : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings /

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 caref...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Sakallah, Karem A (Editor, http://id.loc.gov/vocabulary/relators/edt), Sakallah, Karem A. (Editor, http://id.loc.gov/vocabulary/relators/edt), Simon, Laurent (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Book
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011
Edition:1st ed. 2011
Series:Computer Science (Springer-11645)
Computer Science (SpringerNature-11645)
LNCS sublibrary Theoretical computer science and general issues ; 6695.
LNCS sublibrary Theoretical computer science and general issues 6695
Subjects:
Algorithms
Artificial intelligence
Computer logic
Computer science
Computers
Logic design
Logic, Symbolic and mathematical
Machine theory
Computer Science Logic and Foundations of Programming
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Artificial Intelligence
Computation by Abstract Devices
Formal Languages and Automata Theory
Logic Design
Mathematical Logic and Formal Languages
Theory of Computation
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Similar Items