Applied Satisfiability

Cryptography, Scheduling, and Coalitional Games

de

,

Éditeur :

Wiley


Paru le : 2024-12-30



eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
147,55

Téléchargement immédiat
Dès validation de votre commande
Ajouter à ma liste d'envies
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

Description

Apply satisfiability to a range of difficult problems
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 fieldsSpecific experiments and case studies that demonstrate the effectiveness of satisfiability-aided methodsChapters 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.
Pages
272 pages
Collection
n.c
Parution
2024-12-30
Marque
Wiley
EAN papier
9781394249787
EAN PDF
9781394249800

Informations sur l'ebook
Nombre pages copiables
0
Nombre pages imprimables
272
Taille du fichier
4434 Ko
Prix
147,55 €
EAN EPUB
9781394249794

Informations sur l'ebook
Nombre pages copiables
0
Nombre pages imprimables
272
Taille du fichier
12995 Ko
Prix
147,55 €

Suggestions personnalisées