<https://aaai.org/#/schema/logo/image/>
<http://schema.org/width>
"1051"^^<http://www.w3.org/2001/XMLSchema#integer>
<https://aaai.org/papers/icaps-08-037-a-compact-and-efficient-sat-encoding-for-planning/>