Huang, Ruoyun

5 publications

JAIR 2012 SAS+ Planning as Satisfiability Ruoyun Huang, Yixin Chen, Weixiong Zhang

AAAI 2012 Towards Automated Choreographing of Web Services Using Planning Guobing Zou, Yixin Chen, You Xu, Ruoyun Huang, Yang Xiang

AAAI 2010 A Novel Transition Based Encoding Scheme for Planning as Satisfiability Ruoyun Huang, Yixin Chen, Weixiong Zhang

AAAI 2008 Fast Planning by Search in Domain Transition Graph Yixin Chen, Ruoyun Huang, Weixiong Zhang

IJCAI 2007 Constraint Partitioning for Solving Planning Problems with Trajectory Constraints and Goal Preferences Chih-Wei Hsu, Benjamin W. Wah, Ruoyun Huang, Yixin Chen