@book{251279,
	author = {Biere, Armin. and ProQuest (Firm)},
	title = {Handbook of satisfiability},
	publisher = {IOS Press,},
	year = {c2009.},
	series = {Frontiers in artificial intelligence and applications,},
	address = {Amsterdam, The Netherlands ;},
	url = {https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=448770}
}