Track My Order
Help Centre
1300 187 187
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Applied Satisfiability : Cryptography, Scheduling, and Coalitional Games - Xiaojuan Liao

Applied Satisfiability

Cryptography, Scheduling, and Coalitional Games

By: Xiaojuan Liao, Miyuki Koshimura

Hardcover | 17 January 2025 | Edition Number 1

At a Glance

Hardcover

RRP $240.95

$142.25

41%OFF

or 4 interest-free payments of $35.56 with

 or 

Available: 17th January 2025

Preorder. Will ship when available.

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 concern not merely whether but 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
  • Chapters covering topics including cryptographic key recovery, various forms of scheduling, coalition structure generation, and many more
  • Specific experiments and case studies that demonstrate the effectiveness of satisfiability-aided methods

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.

You Can Find This Book In

Non-FictionMathematicsOptimisationComputing & I.T.Computer ScienceComputer Architecture & Logic DesignComputer SecurityData EncryptionReference, Information & Interdisciplinary SubjectsResearch & InformationCoding Theory & Cryptology

More in Computer Science

Python All-in-One For Dummies : 3rd Edition - John C. Shovic

Python All-in-One For Dummies

3rd Edition

Paperback

RRP $74.95

$50.35

33%
OFF
Exploring the Metaverse : Challenges and Applications - Deepika Koundal

Exploring the Metaverse

Challenges and Applications

Paperback

RRP $317.95

$239.95

25%
OFF
Fuzzy Methods for Assessment and Decision Making - Michael Gr. Voskoglou

Fuzzy Methods for Assessment and Decision Making

Paperback

RRP $264.95

$199.95

25%
OFF
Signals and Systems : Theory and Practical Explorations with Python - Fatos Tunay Yarman Vural

Signals and Systems

Theory and Practical Explorations with Python

Hardcover

RRP $219.95

$182.50

17%
OFF
Cybersecurity All-in-One For Dummies : For Dummies - Joseph Steinberg

Cybersecurity All-in-One For Dummies

For Dummies

Paperback

RRP $82.95

$55.00

34%
OFF

This product is categorised by

Popular Searches