190 citations · 359 across the 9 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
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.AI2014★ 9 cited
An Effective Algorithm for and Phase Transitions of the Directed Hamiltonian Cycle Problem
Gerold Jäger, Weixiong Zhang
The Hamiltonian cycle problem (HCP) is an important combinatorial problem with applications in many areas. It is among the first problems used for studying intrinsic properties, in…