(1)
Ciampiconi, L.; Ghosh, B.; Scarlett, J.; Meel, K. S. A MaxSAT-Based Framework for Group Testing. AAAI 2020, 34, 10144-10152.