Da-Ming Zhu

Publication Activity (10 Years)

Years Active: 2004-2013
Publications (10 Years): 0

Top Topics

Sound And Complete Axiomatization

Abductive Reasoning

Branch And Bound

Top Venues

J. Comput. Sci. Technol.

Publications

Mei-Xia Qu, Jun-Feng Luan, Da-Ming Zhu, Meng Du
On the Toggling-Branching Recurrence of Computability Logic. J. Comput. Sci. Technol. 28 (2) (2013)
Xiao-Wen Lou, Da-Ming Zhu
Sorting Unsigned Permutations by Weighted Reversals, Transpositions, and Transreversals. J. Comput. Sci. Technol. 25 (4) (2010)
Zi-Mao Li, Da-Ming Zhu, Shao-Han Ma
Approximation Algorithm for Bottleneck Steiner Tree Problem in the Euclidean Plane. J. Comput. Sci. Technol. 19 (6) (2004)