Search papers, labs, and topics across Lattice.
Universit茅 Grenoble Aples
2
0
3
0
Removing unnecessary ordering constraints in HTN plans can significantly streamline planning processes without sacrificing validity.
Numerical reasoning in HTN planning just got a major upgrade with a new SMT-based encoding that sets a competitive baseline for future advancements.