Login / Signup
Yiqi Lv
ORCID
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 4
Top Topics
Satisfiability Testing
Cooperative
Weighted Model Counting
Simulated Annealing
Top Venues
SAT
CNIOT
J. Artif. Intell. Res.
FM
</>
Publications
</>
Yiqi Lv
,
Xiang Meng
,
Yong Luo
,
Yan Pei
Glucose Sensing Utilizing Complex-Valued Neural Networks.
CNIOT
(2023)
Jian Gao
,
Yiqi Lv
,
Minghao Liu
,
Shaowei Cai
,
Feifei Ma
Improving Simulated Annealing for Clique Partitioning Problems.
J. Artif. Intell. Res.
74 (2022)
Jiwei Jin
,
Yiqi Lv
,
Cunjing Ge
,
Feifei Ma
,
Jian Zhang
Investigating the Existence of Costas Latin Squares via Satisfiability Testing.
SAT
(2021)
Rongjie Yan
,
Di Zhu
,
Fan Zhang
,
Yiqi Lv
,
Junjie Yang
,
Kai Huang
Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods.
FM
(2018)