Search papers, labs, and topics across Lattice.
Affiliation:
1
0
2
3
This study covers foundational concepts for enhancing plan-execution flexibility, including partial-order planning, the producer-consumer-threat formalism, and a range of deordering and reordering strategies, and finds that block deordering-based approaches substantially outperform MaxSAT-based approaches despite the latter's theoretical guarantees of minimum reordering.