|
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,829
Discovery Miles 28 290
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings (Paperback, 1st ed. 2017)
Series: Theoretical Computer Science and General Issues, 10491
Expected to ship within 10 - 15 working days
|
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
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
