Shinitzky, Hilla, Ron Stern, and Meir Kalech. 2021. “Batch Repair With Heuristic Search”. Proceedings of the International Symposium on Combinatorial Search 7 (1):141-42. https://doi.org/10.1609/socs.v7i1.18411.