Applied Satisfiability: Cryptography, Scheduling, and Coalitional Games, 1st Edition eBook

Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please contact us.
Compatible Devices: Can be read on any devices.

The Boolean Satisfiability Problem (SAT) is one of the most famous and widely-studied problems in Boolean logic. Optimization versions of this problem include the Maximum Satisfiability Problem (MaxSAT) and its extensions, such as partial MaxSAT and weighted MaxSAT, which assess whether, and to what extent, a solution satisfies a given set of problems. Numerous applications of SAT and MaxSAT have emerged in fields related to logic and computing technology.

Applied Satisfiability: Cryptography, Scheduling, and Coalitional Games outlines some of these applications in three specific fields. It offers a huge range of SAT applications and their possible impacts, allowing readers to tackle previously challenging optimization problems with a new selection of tools. Professionals and researchers in this field will find the scope of their computational solutions to otherwise intractable problems vastly increased.

Applied Satisfiability readers will also find:

Coding and problem-solving skills applicable to a variety of fields
Specific experiments and case studies that demonstrate the effectiveness of satisfiability-aided methods
Chapters covering topics including cryptographic key recovery, various forms of scheduling, coalition structure generation, and many more
Applied Satisfiability is ideal for researchers, graduate students, and practitioners in these fields looking to bring a new skillset to bear in their studies and careers.

This is a digital product.

Applied Satisfiability: Cryptography, Scheduling, and Coalitional Games 1st Edition is written by Xiaojuan Liao; Miyuki Koshimura and published by Wiley-Blackwell. The Digital and eTextbook ISBNs for Applied Satisfiability are 9781394249794, 1394249799 and the print ISBNs are 9781394249787, 1394249780. Additional ISBNs for this eTextbook include 9781394249817, 9781394249800.