A MaxSAT-Based Framework for Group Testing.

Lorenzo Ciampiconi, Bishwamittra Ghosh, Jonathan Scarlett, Kuldeep S. Meel

Browse the full AAAI paper archive.