{"product_id":"9781394249787","title":"Applied Satisfiability Cryptography, Scheduling, and Coalitional Games","description":"\u003ch1\u003eApplied Satisfiability\u003c\/h1\u003e\u003ch2\u003eCryptography, Scheduling, and Coalitional Games\u003c\/h2\u003e\u003ch3\u003eXiaojuan Liao | Miyuki Koshimura\u003c\/h3\u003e\u003cdiv\u003e\u003cb\u003eMathematics \/ Optimization\u003c\/b\u003e\u003c\/div\u003e\u003cbr\u003e\u003cdiv\u003e\n\u003cp\u003e\u003cb\u003eApply satisfiability to a range of difficult problems\u003c\/b\u003e \u003c\/p\u003e\n\u003cp\u003eThe 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. \u003c\/p\u003e\n\u003cp\u003e\u003ci\u003eApplied Satisfiability: Cryptography, Scheduling, and Coalitional Games\u003c\/i\u003e 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. \u003c\/p\u003e\n\u003cp\u003e\u003ci\u003eApplied Satisfiability\u003c\/i\u003e readers will also find: \u003c\/p\u003e\n\u003cul\u003e\n\u003cli\u003eCoding and problem-solving skills applicable to a variety of fields\u003c\/li\u003e\n\u003cli\u003eSpecific experiments and case studies that demonstrate the effectiveness of satisfiability-aided methods\u003c\/li\u003e\n\u003cli\u003eChapters covering topics including cryptographic key recovery, various forms of scheduling, coalition structure generation, and many more\u003c\/li\u003e\n\u003c\/ul\u003e \u003cp\u003e\u003ci\u003eApplied Satisfiability\u003c\/i\u003e is ideal for researchers, graduate students, and practitioners in these fields looking to bring a new skillset to bear in their studies and careers.\u003c\/p\u003e\n\u003c\/div\u003e\u003cdiv\u003e  \u003cp\u003e\u003cb\u003eXiaojuan Liao, PhD,\u003c\/b\u003e is an Associate Professor in the College of Computer and Cyber Security, Chengdu University of Technology, Chengdu, China. \u003c\/p\u003e\n\u003cp\u003e\u003cb\u003eMiyuki Koshimura, PhD, \u003c\/b\u003eis an Assistant Professor in the Faculty of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan. \u003c\/p\u003e\n\u003c\/div\u003e\u003cbr\u003e\u003ctable\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublication Date: \u003c\/td\u003e\n\u003ctd\u003e22 January 2025\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePublisher: \u003c\/td\u003e\n\u003ctd\u003eWiley\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eImprint: \u003c\/td\u003e\n\u003ctd\u003eWiley\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eISBN-13: \u003c\/td\u003e\n\u003ctd\u003e9781394249787\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eFormat: \u003c\/td\u003e\n\u003ctd\u003eHardback\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003ePage Count: \u003c\/td\u003e\n\u003ctd\u003e272\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003ctr\u003e\n\u003ctd\u003eWeight (oz): \u003c\/td\u003e\n\u003ctd\u003e18.0\u003c\/td\u003e\n\u003c\/tr\u003e\n\u003c\/table\u003e","brand":"Wiley","offers":[{"title":"Default Title","offer_id":44384851689612,"sku":"9781394249787","price":134.06,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781394249787_51ec289d-b36a-4087-8cb0-445ec0420cb4.jpg?v=1780157970","url":"https:\/\/lateknightbooks.com\/products\/9781394249787","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}