280 citations · 453 across the 9 of their papers we have counts for
1 paper · 2 filters
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…