你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Select your country

Americas

Europe

Rest of the world

portada Applied Satisfiability: Cryptography, Scheduling, and Coalitional Games
Type
Physical Book
Publisher
Language
English
Pages
256
Format
Hardcover
ISBN13
9781394249787
Edition No.
1

Applied Satisfiability: Cryptography, Scheduling, and Coalitional Games

Xiaojuan Liao; Miyuki Koshimura (Author) · Wiley · Hardcover

Applied Satisfiability: Cryptography, Scheduling, and Coalitional Games - Xiaojuan Liao; Miyuki Koshimura

Cheaper New Book Imported to Taiwan
Delivery: 05 Oct - 13 Oct Shipping: 6 to 7 business days.
NT$ 4,621
Faster New Book Imported to Taiwan
Delivery: 02 Oct - 12 Oct Shipping: 5 to 6 business days.
NT$ 5,137
NT$ 4,621

Synopsis "Applied Satisfiability: Cryptography, Scheduling, and Coalitional Games"

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.

Customers reviews

Frequently Asked Questions about the Book

All books in our catalog are Original.
The book is written in English.
The binding of this edition is Hardcover.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews