Hantao Zhang

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 2

Top Topics

Weighted Model Counting

Information Technology

Satisfiability Testing

Top Venues

Publications

Dianhua Wu, Hantao Zhang
. Discret. Math. 346 (9) (2023)
Minghao Liu, Rui Han, Fuqi Jia, Pei Huang, Feifei Ma, Hantao Zhang, Jian Zhang
Investigating the Existence of Holey Latin Squares via Satisfiability Testing. PRICAI (2) (2023)
Hantao Zhang, Maria Paola Bonacina
Cumulating Search in a Distributed Computing Environment: A Case Study in Parallel Satisfiability. PASCO (1994)