CLIP3: Cover learning using integer programming | Synapse