9 citations · 16 across the 2 of their papers we have counts for
2 papers
cs.AI2014★ 9 cited
SAS+ Planning as Satisfiability
Ruoyun Huang, Yixin Chen, Weixiong Zhang
Planning as satisfiability is a principal approach to planning with many eminent advantages. The existing planning as satisfiability techniques usually use encodings compiled from…
cs.AI2011★ 7 cited
Theory and Algorithms for Partial Order Based Reduction in Planning
You Xu, Yixin Chen, Qiang Lu +1
Search is a major technique for planning. It amounts to exploring a state space of planning domains typically modeled as a directed graph. However, prohibitively large sizes of the…