We use logic-based machine learning to distinguish DNAbinding proteins from non-binding proteins. We combine previously suggested coarse-grained features (such as the dipole moment) with automatical
