%PDF-1.5
%
1 0 obj
<<
/Type /Metadata /Subtype /XML
/Length 2778
>>
stream
Multi-context Systems, Distributed Constraint Optimization Problems, Most Preferred Equilibria
MiKTeX pdfTeX-1.40.17
Unknown
This is MiKTeX-pdfTeX 2.9.6000 (1.40.17)
2019-05-25T20:52:47+05:30
TeX
2019-05-25T20:52:47+05:30
2019-05-25T20:52:47+05:30
uuid:70f53404-cb90-4544-9d68-62d05f434303
uuid:060836f7-8244-4832-9976-b681f69f270b
True
https://www.aaai.org
application/pdf
SAT-Based Explicit LTLf Satisfiability Checking
Copyright c
2019, Association for the Advancement of Artificial
AAAI Proceedings Volume 33 Number 1
Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi
Multi-context Systems, Distributed Constraint Optimization Problems, Most Preferred Equilibria
endstream
endobj
7 0 obj
<<
/Length 5050
/Filter /FlateDecode
>>
stream
xڵ;Y۸zTD!x^Od6<)v1E*<[@l:O
b[ū7wϞfFyJdyIJu)mVj+e
1˗okojK;k~cYEÐX5M}wslb\i+rh\WB&*D<}xyU.Mx/Ǧ.Q"JO+bGy"(Udd0'߆6&(VfMPG.nxSUn짴)Hd:}LD1YW؈xuW-]zkQ?uJDibV[8Rn,vWҬD.c1Vs[+aU?YaU0mC5؍}iVHe__lWGy&Eq{y#.O(NۿڪU)tiT`YjMu7ptjj7
}7@ pDTA\/KБ_y wwi|>mQ7#* m4Q"7%EKΐ2oH3*nƮȽےAH$Y.]9D=|ӑڅ{7$dMsafY
8J
,U
SN"2e/,*#O,<8}YK{B8V 4en0I50yN(ʛ
]VE۸JT-_Ho)ﺻĦUb z]5 =h__)W*7\|YZ$Z&D; kq3"ϗIg*mxZ hv/Z^9aLӍAìGb"qoD
a')^.B(63N<2#"_`%1!
ql=FnD
v(4
E2@KS]_x⑺7g}IYx݇W$Tl vZu9n=Ant+L hU_NޤKI)=HUh=7vz;[M+"`)-R1@