Li, Hongbo, and Jimmy H.M. Lee. “Finding Good Partial Assignments During Restart-Based Branch and Bound Search”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 37, no. 4, June 2023, pp. 4035-43, doi:10.1609/aaai.v37i4.25518.