Optimally Relaxing Partial-Order Plans with MaxSAT.
Christian J. MuiseSheila A. McIlraithJ. Christopher BeckPublished in: ICAPS (2012)
Keyphrases
- partial order
- partially ordered
- partial ordering
- totally ordered
- causal links
- total order
- upper bound
- stable marriage
- lattice structure
- vertex cover
- combinatorial optimization
- plan recognition
- dominance relation
- branch and bound algorithm
- plan execution
- preference relations
- sat solvers
- lower bound
- sequential patterns
- model checking
- high dimensional