%PDF-1.5
%
1 0 obj
<>stream
application/pdfIEEE2019 IEEE 20th International Conference on Information Reuse and Integration for Data Science (IRI);2019; ; ;10.1109/IRI.2019.00017Satisfiability Modulo TheoriesFinancial Transaction NetworksModel ValidationInformation ReuseHow Do Firms Transact? Guesstimation and Validation of Financial Transaction Networks with SatisfiabilityChristos TsigkanosAlessio ArleoJohannes SorgerSchahram Dustdar
2019 IEEE 20th International Conference on Information Reuse and Integration for Data Science (IRI)15 July 201910.1109/IRI.2019.0001722
endstream
endobj
2 0 obj
<>
endobj
3 0 obj
<>
endobj
4 0 obj
<>stream
hTPj0+tlIBAFJfXd8}m76$$KK6`;[2Y#\peV9Qy-SA]yxskU-w6ȖϯfpD
P@Ӏ^Q75"ȿ_x**Ȋi^+ɢIٵX鴇=3G,!-yӮ* l>
endstream
endobj
5 0 obj
<>
endobj
6 0 obj
<>stream
xcd`ab`ddutv4 f!"Ћ?idXnlb#=VpBLUE%
1@P\GR17(391O7$#57QOL-k())///K-/JPYZZTW vĹ@r|?W_]d%n,OŕK
,\d9ENY?oJ9R#WEF(mo9o>7,Z.=R]IykMg|oκLɺܶ*>.kzemW[E\Dute'ΚJlӦ}/X;a*J<p ږ
endstream
endobj
7 0 obj
<>
endobj
8 0 obj
<>
endobj
9 0 obj
<>stream
h,}Lwhioֽܙ2pQQ˜ :B)}PoVJwm,"*,%egEg2q#^ۓ|&Cx8|b(sפIEd]bҕ @tlhu;p½!2 ]k W _yBrB6@W~\i {7
t滨/$
A%r|iV,SlƵ6QZ)-m6}Q]={ߟ$G㾠v`!Jdw\ʵx<+ dd2`&ޗR<Y!#'Hl9a{@Fzb=8Ԡ![eqn9%@zR5;AD vNjEryAO`L"apY|T&v)|+Ȑǂi:}@+ NsM0i)0o+76`2귎UZ\Vk*##iKu]v9
<z&>%z26kD|<~%%p/Ph>SFRR8<9!>9_=+ ;:l
endstream
endobj
11 0 obj
<>stream
xcd`ab`ddutpwv
e!"Ћ?92,gTpOm!FFNѾəyiy%%Eٹ%E%
1@P\GR1291O6QOL-k())///K-/JPYZZTW v+c`afdf\繖?r3~71{'L8Aw*}Oc^"]X>Q{t$k]]g[TݴSMT=wkDŽgL6]~r[T&ߍCsոFc,g2рK͓3r[)\7o{s}=c.rd