Applied satisfiability cryptography, scheduling and coalitional games - Liao, Xiaojuan (Wiley, 2025)
Includes bibliographical references and index