Data Balancing in SAT-NET: Effects on Logistic Regression and Random Forest Performance | IEEE Conference Publication | IEEE Xplore