@InProceedings{KSW86, author={Richar Karp and Michael Saks and Avi Wigderson}, title={A search problem related to branch-and-bound procedures}, crossref={FOCS27}, booktitle={Proceedings of the 27th FOCS}, pages={19-28}, year={1986}, }