Applied Satisfiability - Cryptography, Scheduling, and Coalitional Games

Applied Satisfiability - Cryptography, Scheduling, and Coalitional Games