User profiles for Hantao Zhang
Hantao ZhangPhD Candidate, University of California, Riverside Verified email at ucr.edu Cited by 509 |
SATO: An efficient propositional prover
H Zhang - Automated Deduction—CADE-14: 14th International …, 1997 - Springer
SATO (Satisfiability Testing Optimized) is a propositional prover based on the Davis-Putnam
method [3], which is is one of the major practical methods for the satisfiability (SAT) problem …
method [3], which is is one of the major practical methods for the satisfiability (SAT) problem …
Bi-directional tuning of thermal transport in SrCoOx with electrochemically induced phase transitions
Unlike the wide-ranging dynamic control of electrical conductivity, there does not exist an
analogous ability to tune thermal conductivity by means of electric potential. The traditional …
analogous ability to tune thermal conductivity by means of electric potential. The traditional …
PSATO: a distributed propositional prover and its application to quasigroup problems
H Zhang, MP Bonacina, J Hsiang - Journal of Symbolic Computation, 1996 - iris.univr.it
We present a distributed/parallel prover for propositional satisfiability (SAT), called PSATO,
for networks of workstations. PSATO is based on the sequential SAT prover SATO, which is …
for networks of workstations. PSATO is based on the sequential SAT prover SATO, which is …
Hybrid support vector machine optimization model for prediction of energy consumption of cutter head drives in shield tunneling
The energy consumption of cutter head drives accounts for over half of their total power
capacity, and it can reach several thousand kilowatts in shield machines. The analysis of the …
capacity, and it can reach several thousand kilowatts in shield machines. The analysis of the …
Engineering the electrical conductivity of lamellar silver‐doped cobalt (II) selenide nanobelts for enhanced oxygen evolution
Precisely engineering the electrical conductivity represents a promising strategy to design
efficient catalysts towards oxygen evolution reaction (OER). Here, we demonstrate a versatile …
efficient catalysts towards oxygen evolution reaction (OER). Here, we demonstrate a versatile …
Implementing the davis–putnam method
H Zhang, M Stickel - Journal of Automated Reasoning, 2000 - Springer
The method proposed by Davis, Putnam, Logemann, and Loveland for propositional reasoning,
often referred to as the Davis–Putnam method, is one of the major practical methods for …
often referred to as the Davis–Putnam method, is one of the major practical methods for …
Deterministic switching of a perpendicularly polarized magnet using unconventional spin–orbit torques in WTe2
Spin–orbit torque (SOT)-driven deterministic control of the magnetic state of a ferromagnet
with perpendicular magnetic anisotropy is key to next-generation spintronic applications …
with perpendicular magnetic anisotropy is key to next-generation spintronic applications …
[PDF][PDF] SEM: a system for enumerating models
J Zhang, H Zhang - IJCAI, 1995 - ijcai.org
Abstract Model generation can be regarded as a spe cial case of the Constraint Satisfaction
Problem (CSP). It has many applications in AI, com puter science and mathematics. In this …
Problem (CSP). It has many applications in AI, com puter science and mathematics. In this …
[PDF][PDF] An E cient Algorithm for Unit Propagation
H Zhang, ME Stickely - Proc. of AI-MATH, 1996 - researchgate.net
In recent years, there has been considerable renewed interest in the satis ability (SAT) problem
of propositional logic. Many tools for the SAT problem use unit propagation. Given a set …
of propositional logic. Many tools for the SAT problem use unit propagation. Given a set …
Mitigation of SARS-CoV-2 transmission at a large public university
…, S Maslov, ZJ Weiner, AV Tkachenko, H Zhang… - Nature …, 2022 - nature.com
In Fall 2020, universities saw extensive transmission of SARS-CoV-2 among their populations,
threatening health of the university and surrounding communities, and viability of in-…
threatening health of the university and surrounding communities, and viability of in-…