@book{160931,
	author = {Biere, Armin. and ebrary, Inc.},
	title = {Handbook of satisfiability},
	publisher = {IOS Press,},
	year = {c2009.},
	series = {Frontiers in artificial intelligence and applications,},
	address = {Amsterdam, The Netherlands ;},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10309230}
}