_:n43be6225ad314b7bb5c51615da477c44xb0
<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>
<http://schema.org/ReadAction>
<https://aaai.org/papers/icaps-08-037-a-compact-and-efficient-sat-encoding-for-planning/>