11 citations · 13 across the 3 of their papers we have counts for
3 papers
cs.AI2011★ 11 cited
Hybrid Tractable Classes of Binary Quantified Constraint Satisfaction Problems
Jian Gao, Minghao Yin, Junping Zhou
In this paper, we investigate the hybrid tractability of binary Quantified Constraint Satisfaction Problems (QCSPs). First, a basic tractable class of binary QCSPs is identified by…
cs.AI2011★ 1 cited
New Worst-Case Upper Bound for X3SAT
Junping Zhou, Minghao Yin
The rigorous theoretical analyses of algorithms for exact 3-satisfiability (X3SAT) have been proposed in the literature. As we know, previous algorithms for solving X3SAT have been…
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…