@book{17684,
	author = {Biere, Armin},
	title = {Handbook of satisfiability},
	publisher = {IOS Press,},
	year = {c2009},
	series = {Frontiers in artificial intelligence and applications,},
	address = {Amsterdam ;},
	url = {http://www.netlibrary.com.libraryumpsa.idm.oclc.org/urlapi.asp?action=summary&v=1&bookid=281413}
}