Sign in
Zongxin Liu
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Machine Learning
Satisfiability Problem
Neural Nets
Mass Customization
Top Venues
CoRR
Enterp. Inf. Syst.
Middleware
</>
Publications
</>
Pengfei Yang
,
Zhiming Chi
,
Zongxin Liu
,
Mengyu Zhao
,
Cheng-Chao Huang
,
Shaowei Cai
,
Lijun Zhang
Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks.
CoRR
(2023)
Yunhao Mao
,
Zongxin Liu
,
Hans-Arno Jacobsen
Reversible conflict-free replicated data types.
Middleware
(2022)
Zongxin Liu
,
Jiaozi Pu
Analysis and research on intelligent manufacturing medical product design and intelligent hospital system dynamics based on machine learning under big data.
Enterp. Inf. Syst.
16 (2) (2022)