40 citations · 61 across the 13 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.AI2010★ 1 cited
Phase Transitions of Plan Modification in Conformant Planning
Junping Zhou, Minghao Yin
We explore phase transitions of plan modification, which mainly focus on the conformant planning problems. By analyzing features of plan modification in conformant planning problem…
cs.AI2010★ 3 cited
New worst upper bound for #SAT
Junping Zhou, Minghao Yin, Chunguang Zhou
The rigorous theoretical analyses of algorithms for #SAT have been proposed in the literature. As we know, previous algorithms for solving #SAT have been analyzed only regarding th…