A Native Qualitative Numeric Planning Solver Based on AND/OR Graph Search. - Hemeng Zeng; Yikun Liang; Yongmei Liu 001 (IJCAI, 2022)