Qingtao Huang

Publication Activity (10 Years)

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

Top Topics

Quantified Boolean Formulae

Knowledge Compilation

Prime Implicates

Top Venues

Publications

Ying Liu, Wenxiang Gu, Tingting Zou, Qingtao Huang, Qiao Li
Incremental Knowledge Compilation Using the Extension Rule. J. Networks 8 (10) (2013)