Items related to Theory and Applications of Satisfiability Testing -...
Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings: 6175 (Lecture Notes in Computer Science, 6175) - Softcover
This book 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. The 21 revised full papers presented together with 14 revised short papers and 2 invited talks were carefully selected from 75 submissions. The papers cover a broad range of topics such as proof systems and proof complexity; search algorithms and heuristics; analysis of algorithms; combinatorial theory of satisfiability; random instances vs structured instances; problem encodings; industrial applications; applications to combinatorics; solvers, simplifiers and tools; and, exact and parameterized algorithms.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2010
- ISBN 10 3642141854
- ISBN 13 9783642141850
- BindingPaperback
- Number of pages413
- EditorStrichman Ofer, Szeider Stefan
Buy New
Learn more about this copy
£ 52.03
Shipping:
£ 4.50
From United Kingdom to U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Theory and Applications of Satisfiability Testing - SAT 2010 Theoretical Computer Science and General Issues
Published by
Springer Berlin Heidelberg 2010-06-30, Berlin
(2010)
ISBN 10: 3642141854
ISBN 13: 9783642141850
New
paperback
Quantity: 1
Seller:
Rating
Book Description paperback. Condition: New. Language: ENG. Seller Inventory # 9783642141850
Buy New
£ 52.03
Convert currency
Seller Image
Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science) [Soft Cover ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783642141850
Buy New
£ 57.52
Convert currency
Stock Image
Theory and Applications of Satisfiability Testing SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 1114, 2010, Proceedings 6175 Lecture Notes in Computer Science, 6175
Seller:
Rating
Book Description PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # IB-9783642141850
Buy New
£ 63.08
Convert currency
Stock Image
Theory and Applications of Satisfiability Testing-SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 Proceedings
Published by
Springer-Verlag New York Inc
(2010)
ISBN 10: 3642141854
ISBN 13: 9783642141850
New
Paperback
Quantity: 2
Seller:
Rating
Book Description Paperback. Condition: Brand New. 400 pages. 9.00x6.00x0.75 inches. In Stock. Seller Inventory # x-3642141854
Buy New
£ 60.88
Convert currency
Seller Image
Theory and Applications of Satisfiability Testing - SAT 2010
Published by
Springer Berlin Heidelberg
(2010)
ISBN 10: 3642141854
ISBN 13: 9783642141850
New
Softcover
Quantity: 3
Seller:
Rating
Book Description Condition: New. 1. Invited Talks.- The Big Deal: Applying Constraint Satisfaction Technologies Where It Makes the Difference.- Exact Algorithms and Complexity.- 2. Regular Papers.- Improving Stochastic Local Search for SAT with a New Probability Distribution.- Lower Bounds. Seller Inventory # 5050427
Buy New
£ 59.53
Convert currency
Stock Image
Theory and Applications of Satisfiability Testing SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 1114, 2010, Proceedings 6175 Lecture Notes in Computer Science, 6175
Seller:
Rating
Book Description PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000. Seller Inventory # IB-9783642141850
Buy New
£ 92.36
Convert currency
Stock Image
Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science)
Published by
Springer 2010-06-30
(2010)
ISBN 10: 3642141854
ISBN 13: 9783642141850
New
Paperback
Quantity: 3
Seller:
Rating
Book Description Paperback. Condition: New. Seller Inventory # 6666-ING-9783642141850
Buy New
£ 119.09
Convert currency
Seller Image
Theory and Applications of Satisfiability Testing SAT 2010
Published by
Springer
(2010)
ISBN 10: 3642141854
ISBN 13: 9783642141850
New
Softcover
First Edition
Quantity: 1
Seller:
Rating
Book Description Condition: New. First Edition. First Edition thus. Theory and Applications of Satisfiability Testing SAT 2010 by Springer-Verlag Berlin And Heidelberg GmbH & Co. K. ISBN:9783642141850. Collectible item in excellent condition. Seller Inventory # 3642141850
Buy New
£ 92.41
Convert currency