Concepedia

Hantao Zhang

HZ

Statistics

Publications

29

Citations

1.4K

H-Index

19

Active since

1984

Affiliations

University of Iowa(Current)

University at Albany, State University of New York

SRI International

Soochow University

UNSW Sydney

Hantao Zhang is an author at University of Iowa specializing in computer science, computing, and mathematics.

ORCID

Publications per year

1984–2020

29

Publications

29

PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems

Hantao Zhang, Maria Paola Bonacina, Jieh Hsiang · Journal of Symbolic Computation · 1996 · 210 citations

, , +13

Engineering the Electrical Conductivity of Lamellar Silver‐Doped Cobalt(II) Selenide Nanobelts for Enhanced Oxygen Evolution

Xu Zhao, Hantao Zhang, Yu Yan et al. · Angewandte Chemie International Edition · 2016 · 210 citations

, , +17

SEM: a system for enumerating models

Jian Zhang, Hantao Zhang · 1995 · 136 citations

, , +10

On sufficient-completeness and related properties of term rewriting systems

Deepak Kapur, Paliath Narendran, Hantao Zhang · Acta Informatica · 1987 · 119 citations

, , +5

Implementing the Davis–Putnam Method

Hantao Zhang, Mark E. Stickel · Journal of Automated Reasoning · 2000 · 95 citations

, , +3

1–5 of 29