Theory and Applications of Satisfiability Testing - SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings (Lecture Notes in Computer Science)

0 avg rating
( 0 ratings by Goodreads )
 
9783319243177: Theory and Applications of Satisfiability Testing - SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings (Lecture Notes in Computer Science)
View all copies of this ISBN edition:
 
 

This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including theoretical advances (exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, and applications, as well as case studies and reports on insightful findings based on rigorous experimentation.The paper 'Constructing SAT Filters with a Quantum Annealer' is published open access under a CC BY-NC 2.5 license at link.springer.com.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Heule, Marijn
Published by Springer International Publishing AG (2015)
ISBN 10: 3319243179 ISBN 13: 9783319243177
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer International Publishing AG, 2015. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9783319243177

More information about this seller | Contact this seller

Buy New
US$ 79.86
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

2.

Heule, Marijn (Editor)/ Weaver, Sean (Editor)
Published by Springer-Verlag New York Inc (2015)
ISBN 10: 3319243179 ISBN 13: 9783319243177
New Paperback Quantity Available: 2
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc, 2015. Paperback. Condition: Brand New. 9.25x6.10 inches. In Stock. Seller Inventory # __3319243179

More information about this seller | Contact this seller

Buy New
US$ 75.03
Convert Currency

Add to Basket

Shipping: US$ 9.94
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

MARIJN HEULE
Published by Springer (2015)
ISBN 10: 3319243179 ISBN 13: 9783319243177
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2015. Paperback. Condition: NEW. 9783319243177 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0957671

More information about this seller | Contact this seller

Buy New
US$ 75.05
Convert Currency

Add to Basket

Shipping: US$ 10.60
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Marijn Heule (editor), Sean Weaver (editor)
Published by Springer International Publishing 2015-10-27, Cham (2015)
ISBN 10: 3319243179 ISBN 13: 9783319243177
New paperback Quantity Available: > 20
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Springer International Publishing 2015-10-27, Cham, 2015. paperback. Condition: New. Seller Inventory # 9783319243177

More information about this seller | Contact this seller

Buy New
US$ 83.22
Convert Currency

Add to Basket

Shipping: US$ 7.95
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Published by Springer (2015)
ISBN 10: 3319243179 ISBN 13: 9783319243177
New Softcover Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer, 2015. Condition: New. Seller Inventory # L9783319243177

More information about this seller | Contact this seller

Buy New
US$ 89.64
Convert Currency

Add to Basket

Shipping: US$ 3.47
From Germany to U.S.A.
Destination, Rates & Speeds

6.

Marijn Heule
Published by Springer-Verlag Gmbh Nov 2015 (2015)
ISBN 10: 3319243179 ISBN 13: 9783319243177
New Taschenbuch Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer-Verlag Gmbh Nov 2015, 2015. Taschenbuch. Condition: Neu. Neuware - This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including theoretical advances (exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, and applications, as well as case studies and reports on insightful findings based on rigorous experimentation. 436 pp. Englisch. Seller Inventory # 9783319243177

More information about this seller | Contact this seller

Buy New
US$ 89.64
Convert Currency

Add to Basket

Shipping: US$ 13.93
From Germany to U.S.A.
Destination, Rates & Speeds

7.

Marijn Heule
Published by Springer-Verlag Gmbh Nov 2015 (2015)
ISBN 10: 3319243179 ISBN 13: 9783319243177
New Taschenbuch Quantity Available: 1
Seller:
Rheinberg-Buch
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Nov 2015, 2015. Taschenbuch. Condition: Neu. Neuware - This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including theoretical advances (exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, and applications, as well as case studies and reports on insightful findings based on rigorous experimentation. 436 pp. Englisch. Seller Inventory # 9783319243177

More information about this seller | Contact this seller

Buy New
US$ 89.64
Convert Currency

Add to Basket

Shipping: US$ 20.02
From Germany to U.S.A.
Destination, Rates & Speeds

8.

Marijn Heule
Published by Springer-Verlag Gmbh Nov 2015 (2015)
ISBN 10: 3319243179 ISBN 13: 9783319243177
New Taschenbuch Quantity Available: 1
Seller:
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Nov 2015, 2015. Taschenbuch. Condition: Neu. Neuware - This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including theoretical advances (exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, and applications, as well as case studies and reports on insightful findings based on rigorous experimentation. 436 pp. Englisch. Seller Inventory # 9783319243177

More information about this seller | Contact this seller

Buy New
US$ 89.64
Convert Currency

Add to Basket

Shipping: US$ 20.02
From Germany to U.S.A.
Destination, Rates & Speeds

9.

Published by Springer International Publishing AG, Switzerland (2015)
ISBN 10: 3319243179 ISBN 13: 9783319243177
New Paperback Quantity Available: 10
Print on Demand
Seller:
The Book Depository EURO
(London, United Kingdom)
Rating
[?]

Book Description Springer International Publishing AG, Switzerland, 2015. Paperback. Condition: New. 1st ed. 2015. Language: English . Brand New Book ***** Print on Demand *****.This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including theoretical advances (exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, and applications, as well as case studies and reports on insightful findings based on rigorous experimentation.The paper Constructing SAT Filters with a Quantum Annealer is published open access under a CC BY-NC 2.5 license at . Seller Inventory # AAV9783319243177

More information about this seller | Contact this seller

Buy New
US$ 120.06
Convert Currency

Add to Basket

Shipping: US$ 3.97
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

Heule, Marijn (Editor)/ Weaver, Sean (Editor)
Published by Springer-Verlag New York Inc (2015)
ISBN 10: 3319243179 ISBN 13: 9783319243177
New Paperback Quantity Available: 2
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc, 2015. Paperback. Condition: Brand New. 9.25x6.10 inches. In Stock. Seller Inventory # x-3319243179

More information about this seller | Contact this seller

Buy New
US$ 114.76
Convert Currency

Add to Basket

Shipping: US$ 9.94
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book