@book{8773,
	author = {American Mathematical Society translations, series 2 and Kreinovich, V. ; ed.},
	title = {Problems of reducing the exhaustive search},
	publisher = {American Mathematical Society},
	year = {1997},
	address = {Providence},
	note = {"Purchased under the NBHM grant for the year 1996-97"}
}