_:n43be6225ad314b7bb5c51615da477c44xb8
<http://schema.org/urlTemplate>
"https://aaai.org/?s={search_term_string}"
<https://aaai.org/papers/icaps-08-037-a-compact-and-efficient-sat-encoding-for-planning/>