Q. Lou, R. Dechter, and A. Ihler, “Anytime Anyspace AND/OR Search for Bounding the Partition Function”, AAAI, vol. 31, no. 1, Feb. 2017.