Applied Satisfiability: Cryptography, Scheduling, and Coalitional Games - Liao (IEEE, 2025)