<https://aaai.org/papers/icaps-08-037-a-compact-and-efficient-sat-encoding-for-planning/>
<http://schema.org/dateModified>
"2023-10-16T05:14:12+00:00"^^<http://schema.org/Date>
<https://aaai.org/papers/icaps-08-037-a-compact-and-efficient-sat-encoding-for-planning/>