Napredna pretraga

Pregled bibliografske jedinice broj: 830286

Reciprocal Payers Identification in Banking Logs using SAT Solvers

Skansi, Sandro; Dropuljić, Branimir
Reciprocal Payers Identification in Banking Logs using SAT Solvers // IEEE Mipro 2016 Proceedings
Opatija, Croatia, 2016. str. 1500-1503 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)

Reciprocal Payers Identification in Banking Logs using SAT Solvers

Skansi, Sandro ; Dropuljić, Branimir

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

IEEE Mipro 2016 Proceedings / - , 2016, 1500-1503

39th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO)

Mjesto i datum
Opatija, Croatia, 30.5.-3.6.2016.

Vrsta sudjelovanja

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Reciprocal payers identification; Banking logs; 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.

Izvorni jezik

Znanstvena područja
Elektrotehnika, Računarstvo, Informacijske i komunikacijske znanosti


Sveučilište u Zagrebu