Login / Signup
Yang Zhang
ORCID
Publication Activity (10 Years)
Years Active: 2016-2024
Publications (10 Years): 4
Top Topics
Data Transmission
Prime Implicants
Theorem Prover
Decision Procedures
Top Venues
J. Formaliz. Reason.
Comput. Appl. Math.
ICMS
J. Autom. Reason.
</>
Publications
</>