<https://aaai.org/papers/icaps-08-037-a-compact-and-efficient-sat-encoding-for-planning/>
<http://schema.org/name>
"A Compact and Efficient SAT Encoding for Planning - AAAI"
<https://aaai.org/papers/icaps-08-037-a-compact-and-efficient-sat-encoding-for-planning/>