Theory and Applications of Satisfiability Testing - Info and Reading Options
6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003Selected Revised Papers (Lecture Notes in Computer Science)
By Enrico Giunchiglia
"Theory and Applications of Satisfiability Testing" is published by Springer in March 19, 2004, it has 530 pages and the language of the book is English.
“Theory and Applications of Satisfiability Testing” Metadata:
- Title: ➤ Theory and Applications of Satisfiability Testing
- Author: Enrico Giunchiglia
- Language: English
- Number of Pages: 530
- Publisher: Springer
- Publish Date: March 19, 2004
“Theory and Applications of Satisfiability Testing” Subjects and Themes:
- Subjects: Computer algorithms - Propositional calculus - Congresses - Decision making - Calculus
Edition Specifications:
- Format: Paperback
- Weight: 1.6 pounds
- Dimensions: 9.2 x 5.9 x 1.3 inches
Edition Identifiers:
- The Open Library ID: OL9788793M - OL16971583W
- Online Computer Library Center (OCLC) ID: 54035248
- Library of Congress Control Number (LCCN): 2004041323
- ISBN-13: 9783540208518
- ISBN-10: 3540208518
- All ISBNs: 3540208518 - 9783540208518
AI-generated Review of “Theory and Applications of Satisfiability Testing”:
Read “Theory and Applications of Satisfiability Testing”:
Read “Theory and Applications of Satisfiability Testing” by choosing from the options below.
Search for “Theory and Applications of Satisfiability Testing” downloads:
Visit our Downloads Search page to see if downloads are available.
Borrow "Theory and Applications of Satisfiability Testing" Online:
Check on the availability of online borrowing. Please note that online borrowing has copyright-based limitations and that the quality of ebooks may vary.
- Is Online Borrowing Available: Yes
- Preview Status: full
- Check if available: The Open Library & The Internet Archive
Find “Theory and Applications of Satisfiability Testing” in Libraries Near You:
Read or borrow “Theory and Applications of Satisfiability Testing” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Theory and Applications of Satisfiability Testing” at a library near you.
Buy “Theory and Applications of Satisfiability Testing” online:
Shop for “Theory and Applications of Satisfiability Testing” on popular online marketplaces.
- Ebay: New and used books.