Ciampiconi, Lorenzo, Bishwamittra Ghosh, Jonathan Scarlett, and Kuldeep S Meel. “A MaxSAT-Based Framework for Group Testing”. Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 06 (April 3, 2020): 10144-10152. Accessed September 12, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/6574.