L. Ciampiconi, B. Ghosh, J. Scarlett, and K. S. Meel, “A MaxSAT-Based Framework for Group Testing”, AAAI, vol. 34, no. 06, pp. 10144-10152, Apr. 2020.