Applied Satisfiability: Cryptography, Scheduling and Coalitional Games - Couverture rigide

Liao, Xiaojuan; Koshimura, Miyuki

 
9781394249787: Applied Satisfiability: Cryptography, Scheduling and Coalitional Games
Couverture rigide
ISBN 10 : 1394249780 ISBN 13 : 9781394249787
Editeur : John Wiley & Sons Inc, 2024

Synopsis

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 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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

Xiaojuan Liao, PhD, is an Associate Professor in the College of Computer and Cyber Security, Chengdu University of Technology, Chengdu, China.

Miyuki Koshimura, PhD, is an Assistant Professor in the Faculty of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
John Wiley & Sons Inc
Date d'édition
2024
Langue
anglais
ISBN 10 
1394249780
ISBN 13 
9781394249787
Reliure
Relié
Nombre de pages
272
Coordonnées du fabricant
JOSSEY-BASS
https://www.wiley.com/en-us

111 River Street
Hoboken
NJ
7030
Etats-Unis
Personne responsable
non disponible