Reciprocal payers identification in banking logs using SAT solvers | IEEE Conference Publication | IEEE Xplore