Login / Signup
Efficient Encoding of Cost Optimal Delete-Free Planning as SAT.
Masood Feyzbakhsh Rankooh
Jussi Rintanen
Published in:
AAAI (2022)
Keyphrases
</>
optimal planning
expected cost
minimum cost
sat encodings
optimal solution
search algorithm
budget constraints
dynamic programming
worst case
cost effective
satisfiability problem
long run
average cost
sat solving