Generating Optimal Plans for Boolean Expressions.

Fisnik Kastrati Guido Moerkotte

Published in: ICDE (2018)

Keyphrases

optimal plans
boolean expressions
search tree
optimal planning
normal form
initial state
search space
heuristic search
temporal planning
temporal logic