@book{1719676,
	author = {Liao},
	title = {Applied Satisfiability: Cryptography, Scheduling, and Coalitional Games},
	publisher = {IEEE},
	url = {https://ieeexplore.ieee.org/servlet/opac?bknumber=10896971}
}