SMS: Applied Satisfiability Cryptography, Scheduling, and Coalitional Games Xiaojuan Liao, Miyuki Koshimura [electronic resource]