Theory and Applications of Satisfiability Testing - SAT 2011 - Info and Reading Options
14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
By Karem A. Sakallah
"Theory and Applications of Satisfiability Testing - SAT 2011" was published by Springer-Verlag GmbH Berlin Heidelberg in 2011 - Berlin, Heidelberg and the language of the book is English.
“Theory and Applications of Satisfiability Testing - SAT 2011” Metadata:
- Title: ➤ Theory and Applications of Satisfiability Testing - SAT 2011
- Author: Karem A. Sakallah
- Language: English
- Publisher: ➤ Springer-Verlag GmbH Berlin Heidelberg
- Publish Date: 2011
- Publish Location: Berlin, Heidelberg
“Theory and Applications of Satisfiability Testing - SAT 2011” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Artificial intelligence - Computer software - Computer algorithms - Propositional calculus - Congresses - Verification - Decision making - Calculus - Mathematical Logic and Formal Languages - Algorithm Analysis and Problem Complexity - Computation by Abstract Devices - Logics and Meanings of Programs - Artificial Intelligence (incl. Robotics)
Edition Specifications:
- Format: [electronic resource] :
Edition Identifiers:
- The Open Library ID: OL25545692M - OL16941568W
- Library of Congress Control Number (LCCN): 2011928785
- ISBN-13: 9783642215803 - 9783642215810
- All ISBNs: 9783642215803 - 9783642215810
AI-generated Review of “Theory and Applications of Satisfiability Testing - SAT 2011”:
Read “Theory and Applications of Satisfiability Testing - SAT 2011”:
Read “Theory and Applications of Satisfiability Testing - SAT 2011” by choosing from the options below.
Search for “Theory and Applications of Satisfiability Testing - SAT 2011” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Theory and Applications of Satisfiability Testing - SAT 2011” in Libraries Near You:
Read or borrow “Theory and Applications of Satisfiability Testing - SAT 2011” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Theory and Applications of Satisfiability Testing - SAT 2011” at a library near you.
Buy “Theory and Applications of Satisfiability Testing - SAT 2011” online:
Shop for “Theory and Applications of Satisfiability Testing - SAT 2011” on popular online marketplaces.
- Ebay: New and used books.