%PDF-1.7
%
4 0 obj
<< /Type /Metadata /Subtype /XML /Length 6598 >>
stream
http://ns.adobe.com/pdfx/1.3/
pdfx
PDF/X Schema
external
URL to an online version or preprint
AuthoritativeDomain
Text
http://www.aiim.org/pdfua/ns/id/
pdfuaid
PDF/UA ID Schema
internal
Part of PDF/UA standard
part
Integer
PRISM metadata
http://prismstandard.org/namespaces/basic/2.2/
prism
aggregationType
Text
external
The type of publication. If defined, must be one of book, catalog, feed, journal, magazine, manual, newsletter, pamphlet.
issn
Text
external
The ISSN for the publication in which the resource was published
url
URL
external
URL for the article or unit of content
pdfTeX
application/pdf
journal
Exploring Representation of Horn Clauses using GNNs (Extended Technical Report)
Chencheng Liang
Philipp Rmmer
Marc Brockschmidt
© 2022 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).
CEUR Workshop Proceedings (CEUR-WS.org)
journal
1613-0073
3
U
LaTeX with hyperref
2022-07-28T01:12:13+00:00
2022-07-28T01:12:13+00:00
2022-07-28T01:12:13+00:00
True
© 2022 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).
https://creativecommons.org/licenses/by/4.0
uuid:DF005B57-2A06-8753-7167-92D8CE935460
uuid:CFCA0C1D-C72C-37C8-9D03-8A11CCEAFF3B
endstream
endobj
5 0 obj
<< /Filter /FlateDecode /Length 843 >>
stream
xmUMo0WxNWH
Z&T~3ڮ zy87?nkNehܤ=77U\;?:v==onU;O^uu#½O
ۍ=٘a?kLy6F/7}̽][H<Sicݾk^90jYVH^v}0<rL
ͯ_/CkBnyWTHkuqö{s\녚"p]ϞќKյu/A )`JbD>`2$`TY'`(ZqBJŌ
)Ǩ%553<,(hlwB60a G+LgıcW crn
q9Mܗ8%CMq.5ShrAI皎\Sȩ]8`Y7ь1Oyezl,dmYĸSSJf-1i:C&e c4R$D&
&+übLaj by+bYBg YJYYr֟bx(rGT̛`F+٭L,C9?d+͊11ӊĊT_~+Cg!o!_??/?㫄Y
?^B\jUP{xᇻL^U}9pQq0O}c}3tȢ}Ə!VOu˷endstream
endobj
8 0 obj
<< /Filter /FlateDecode /Length 586 >>
stream
xmTˎ0+$$0
a#A%߯jD岻fc;Z̫MfG}
q]/ޭmޯo⣩0Z^x]fkn{E+{*ʧypg6;5PVpH8$hmڢ*߄zR:")3qXysO'H)-"}[˺