@article {6079176,
	title = {Solution of systems of Boolean equations via the integer domain},
	journal = {Information Sciences},
	volume = {180},
	year = {2010},
	note = {n/a},
	pages = {288{\textendash}300},
	abstract = {n/a},
	doi = {10.1016/j.ins.2009.09.010},
	author = {Ahmed H. Abdel-gawad and Amir F. Atiya and Nevin M. Darwish}
}
