H. Li and J. H. Lee, “Finding Good Partial Assignments during Restart-Based Branch and Bound Search”, AAAI, vol. 37, no. 4, pp. 4035-4043, Jun. 2023.