Scalable Computation of Optimized Queries for Sequential Diagnosis | Read Paper on Bytez