Dahua Zhang

Publication Activity (10 Years)

Years Active: 2015-2016
Publications (10 Years): 1

Top Topics

Boolean Satisfiability

Knowledge Discovery Process

Top Venues

J. Circuits Syst. Comput.

Publications

Geng Zhang, Dahua Zhang, Lei Lu, Min Zhu
A Framework for the Analysis of BGP Data over Long Timescales. CFI (2016)
Dahua Zhang, Wei Li, Tao Du
A Multilevel Pseudo-Boolean Satisfiability-Based Approach for Segmented Channel Routing. J. Circuits Syst. Comput. 24 (6) (2015)