Reciprocal Payers Identification in Banking Logs using SAT Solvers (CROSBI ID 638395)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Skansi, Sandro ; Dropuljić, Branimir
engleski
Reciprocal Payers Identification in Banking Logs using SAT Solvers
In this paper we presented solvers for satisfiability testing (SAT) as a novel approach to finding reciprocal payers in banking logs. A term "reciprocal payers" is usually treated as general fraud by using standard techniques such as expert systems, machine learning and in recent times social network analysis. SAT as a technique for data analysis was abandoned due to the unfeasibility of SAT solvers. SAT solvers, however continued to develop in the hardware and software verification communities. We presented a proof-of- concept solution for identification of reciprocal payers (formally called a clique), which is a group of bank clients that issue payments to each other (each member to each member). We do not use real data due to client confidentiality, but the reader can see the principle. In the basic approach it is assumed that each client has only one account, and in the extended, second approach, it was allowed that a client can have more than one account.
Reciprocal payers identification; Banking logs; SAT solvers
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
1500-1503.
2016.
nije evidentirano
objavljeno
Podaci o matičnoj publikaciji
IEEE Mipro 2016 Proceedings
Podaci o skupu
MIPRO 2016
predavanje
30.05.2016-03.06.2016
Opatija, Hrvatska