Order Total (1 Item Items):
Shipping Destination:
Theory Applications Satisfiability Testing (266 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (266)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (221)
- As New, Fine or Near Fine (40)
- Very Good or Good (4)
- Fair or Poor (No further results match this refinement)
- As Described (1)
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (144)
- Not Print on Demand (187)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
US$ 23.70
US$ 24.78 shipping
Ships from Czech Republic to U.S.A.Quantity: 1 available
Add to basketOther. Condition: Fine. Leichte Rillen / Abschürfungen / Risse / Knicke; Farbtonänderung. This volume features papers from the 11th International Conference on Theory and Applications of Satisfiability Testing (SAT 2008), which has evolved from a workshop in 1996 to an annual international conference. It serves as a platform for researchers exploring various aspects of the propositional satisfiability problem and its applications. For the first time, the conference took place in Asia, specifically at the Zhudao Guest House near Sun Yat-Sen University in Guangzhou, P. R. China. Many complex combinatorial problems can be represented as SAT problems, leading to advancements in both practical heuristics and theoretical insights applicable to a wide array of real-world challenges. Notably, significant verification issues in hardware and software can be reformulated as SAT problems, making SAT a crucial technology for ensuring secure and reliable systems. The conference topics encompass both practical and theoretical research on SAT and its applications, including proof systems, proof complexity, search algorithms, heuristics, algorithm analysis, hard instances, randomized formulas, problem encodings, industrial applications, solvers, tools, case studies, and empirical results. SAT is broadly defined, encompassing not only propositional satisfiability but also quantified Boolean formulas (QBF) and satisfiability modulo theories (SMT).
-
Condition: New. pp. 324.
-
Condition: New. pp. 324 Illus.
-
Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : Proceedings
Language: English
Published by Springer Verlag, New York, 2005
ISBN 10: 3540262768 ISBN 13: 9783540262763
Hardcover. Condition: Very Good. No Jacket. Hardcover 2005 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;3569. [xii, 492 p. : ill. ; 24 cm].
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Condition: New. pp. 324.
-
paperback. Condition: Very Good. This softcover has clean, crisp covers. Spine is tight and without reading crease. Pages appear bright and unmarked. We ship FAST!
-
Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
Language: English
Published by Springer Berlin / Heidelberg, 2005
ISBN 10: 3540262768 ISBN 13: 9783540262763
Condition: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
-
-
-
Paperback or Softback. Condition: New. Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, Lisbon, Portugal, May 28-31, 2007 Proceedings. Book.
-
-
-
Condition: New. pp. 404.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: New. pp. 404 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
-
Theory and Applications of Satisfiability Testing - SAT 2010 (Paperback)
Language: English
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10: 3642141854 ISBN 13: 9783642141850
Paperback. Condition: new. Paperback. This volume contains the papers presented at SAT 2010, the 13th International Conference on Theory and Applications of Satis?ability Testing. SAT 2010 was held as part of the 2010 Federated Logic Conference (FLoC) and was hosted by the School of Informatics at the University of Edinburgh, Scotland. In addition to SAT, FLoC included the conferences CAV, CSF, ICLP, IJCAR, ITP, LICS, RTA, as well as over 50 workshops. A?liated with SAT were the workshops LaSh (Logic and Search, co-a?liated with ICLP), LoCoCo (Logics for C- ponent Con?guration), POS (Pragmatics Of SAT), PPC (Propositional Proof Complexity: Theory and Practice), and SMT (Satis?ability Modulo Theories, co-a?liated with CAV). SAT featured three competitions: the MAX-SAT Ev- uation 2010, the Pseudo-Boolean Competition 2010, and the SAT-Race 2010. Many hard combinatorial problems such as problems arising in veri?cation and planning can be naturally expressed within the framework of propositional satis?ability. Due to its wide applicability and enormous progress in the perf- mance of solving methods, satis?ability has become one of today's most imp- tant core technologies.The SAT 2010 call for papers invited the submission of original practical and theoretical research on satis?ability. Topics included but were not limited to proof systems and proof complexity, search algorithms and heuristics, analysis of algorithms, combinatorial theory of satis?ability, random instances vs structured instances, problem encodings, industrial applications, applicationsto combinatorics,solvers,simpli?ers andtools,casestudies and- piricalresults,exactandparameterizedalgorithms. Constitutes the refereed proceedings of the 13th International Conference on Theory and Applications of Satisfiability Testing, SAT 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
-
Condition: As New. Unread book in perfect condition.
