Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer communications & networking

Buy Now

Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings (Paperback, 1st ed. 2017) Loot Price: R2,882

Discovery Miles 28 820

Repayment Terms: R270 pm x 12*

Add to cart

Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August...

Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings (Paperback, 1st ed. 2017)

Serge Gaspers, Toby Walsh

Series: Theoretical Computer Science and General Issues, 10491

(sign in to rate)

Loot Price R2,882 Discovery Miles 28 820 | Repayment Terms: R270 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melbourne, Australia, in August/September 2017. The 22 revised full papers, 5 short papers, and 3 tool papers were carefully reviewed and selected from 64 submissions. The papers are organized in the following topical sections: algorithms, complexity, and lower bounds; clause learning and symmetry handling; maximum satisfiability and minimal correction sets; parallel SAT solving; quantified Boolean formulas; satisfiability modulo theories; and SAT encodings.

General

Imprint:	Springer International Publishing AG
Country of origin:	Switzerland
Series:	Theoretical Computer Science and General Issues, 10491
Release date:	August 2017
First published:	2017
Editors:	Serge Gaspers • Toby Walsh
Dimensions:	235 x 155mm (L x W)
Format:	Paperback
Pages:	476
Edition:	1st ed. 2017
ISBN-13:	978-3-319-66262-6
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer communications & networking > General Books > Computing & IT > Computer hardware & operating systems > Operating systems & graphical user interfaces (GUIs) > General Books > Computing & IT > Applications of computing > Artificial intelligence > General Promotions
LSN:	3-319-66262-7
Barcode:	9783319662626