DiGTreeS: a distributed resilient framework for generalized tree search. - Md Arshad Jamal; Sriram Kailasam; Bhumanyu Goyal; Varun Singh (J. Supercomput., 2024)