Problems of reducing the exhaustive search /
Kreinovich, Vladik.
Mint︠s︡, G. E.
Providence, R.I. : American Mathematical Society,
c1997.
Includes bibliographical references.
Computational complexity.