<https://aaai.org/papers/icaps-08-037-a-compact-and-efficient-sat-encoding-for-planning/#breadcrumb>
<http://schema.org/itemListElement>
_:n43be6225ad314b7bb5c51615da477c44xb3
<https://aaai.org/papers/icaps-08-037-a-compact-and-efficient-sat-encoding-for-planning/>