%PDF-1.5
%
1 0 obj
<<
/Type /Metadata /Subtype /XML
/Length 2718
>>
stream
Human-AI Collaboration, Machine Learning, Robotics, Variational Inference
MiKTeX pdfTeX-1.40.17
Unknown
This is MiKTeX-pdfTeX 2.9.6000 (1.40.17)
2019-05-25T15:19:42+05:30
TeX
2019-05-25T15:19:42+05:30
2019-05-25T15:19:42+05:30
uuid:70f53404-cb90-4544-9d68-62d05f434303
uuid:060836f7-8244-4832-9976-b681f69f270b
True
https://www.aaai.org
application/pdf
Sometimes Satisfiability is Easier than Model Checking
Copyright c
2019, Association for the Advancement of Artificial
AAAI Proceedings Volume 33 Number 1
Erman Acar, Massimo Benerecetti, Fabio Mogavero
Human-AI Collaboration, Machine Learning, Robotics, Variational Inference
endstream
endobj
7 0 obj
<<
/Length 6369
/Filter /FlateDecode
>>
stream
x\ݓ۸_GJ_$xn؛_6U
oZQlnti.W"!abǒ/iff<-8MfKWTh3\(jcV2T=?vvʘbLDZMF<7P{}շ@:aG ]ixҬ,e(+X/Tcq`I쐩1[Pc˺{=+zxxa
Qɏ%<p*w6fenOe[txc1M~q;3@đnome 'Ky(stŰ'dˈ~/d+ݬͫO5VKBuyg;8l#[`+U*FZ_UGuD6IA8-<7F:)D7r_<0ݖ
p>5}eثBJe*RrJҼC(K !ζmj[zrs:!n jM[@iƭD ʏMYaR.ˎG 8aA!MgחFckm/uI-04P 쟊͚