基本信息
views: 42

Bio
Awards and Hornors
SAT Competition 2023. Presentation of Results, PRS-sc23.
Main-Parallel-Track (ALL, SAT, UNSAT) Gold Medal *3
Cloud-Track, Siver Medal
SMT Competition 2023. Presentation, Results, z3++
Biggest Lead Model Validation
Largest Contribution Model Validation
Winner of QF-LIA(;,‖,T,mv), QF_NLIA(;,‖,T,⊥,24), QF_NIA(;,‖,T), QF_IDL(⊥)
2023, The 6th “Qiangwang Cup” National Network Security Challenge, Cryptography Mathematics Special Competition, Group Name: “CMixSAT”, Champion
2022, Integrated Circuit EDA Elite Challenge, Second award, Enterprise Special Award (Hisilicon)
SAT Competition 2022 & Floc, Presentation of Results, kissat_inc, parkissat_rs
Floc: SAT Competition 2022 Parallel track, Gold Medal
Main-Parallel-Track, Main-Parallel-Track-SAT, Gold Medal
NoLimits Track, Winner
Main-Parallel-Track-UNSAT, Silver Medal
Main-Track, Main-Track-SAT, Silver Medal
SMT Competition 2022 & FLoC, Presentation of Results, z3++
Gold Biggest Lead Model Validation: Z3++, Gold Medal
Glod Largest Contribution Model Validation: Z3++, Gold Medal
Single Query Track: QF-NIA(UNSAT parallel), QF-NRA/QF-LIA(SAT parallel), QF-IDL(ALL); Model Validation Track: QF-LIA(ALL), QF-IDL(ALL), First Rank
SAT Competition 2021, Presentation of Results
Main-Track-SAT, Main-Track-UNSAT, Silver Medal
2021, SAT Cometition 2021 Crypto (Cadical Hack), Honorable Mentions]
SMT Competition 2021, Presentation of Results
QF_IDL(ALL) Model Validation Track, Single Query Track, Winner
SAT Competition 2020, Presentation of Results, Relaxed_newTech
Main-Track-SAT, Gold Medal
Main-Track, Silver Medal
SAT Competition 2018 NoLimit-Track, Winner.
Sparkle SAT Challenge, 2018, Second Place.
2017, Interdisciplinary Contest In Modeling, Meritorious Winner.
2016, Contemporary Undergraduate Mathematical Contest in Modeling (CUMCM), Second prize.
2016, International Genetically Engineered Machine competition (iGEM), Gold Award.
SAT Competition 2023. Presentation of Results, PRS-sc23.
Main-Parallel-Track (ALL, SAT, UNSAT) Gold Medal *3
Cloud-Track, Siver Medal
SMT Competition 2023. Presentation, Results, z3++
Biggest Lead Model Validation
Largest Contribution Model Validation
Winner of QF-LIA(;,‖,T,mv), QF_NLIA(;,‖,T,⊥,24), QF_NIA(;,‖,T), QF_IDL(⊥)
2023, The 6th “Qiangwang Cup” National Network Security Challenge, Cryptography Mathematics Special Competition, Group Name: “CMixSAT”, Champion
2022, Integrated Circuit EDA Elite Challenge, Second award, Enterprise Special Award (Hisilicon)
SAT Competition 2022 & Floc, Presentation of Results, kissat_inc, parkissat_rs
Floc: SAT Competition 2022 Parallel track, Gold Medal
Main-Parallel-Track, Main-Parallel-Track-SAT, Gold Medal
NoLimits Track, Winner
Main-Parallel-Track-UNSAT, Silver Medal
Main-Track, Main-Track-SAT, Silver Medal
SMT Competition 2022 & FLoC, Presentation of Results, z3++
Gold Biggest Lead Model Validation: Z3++, Gold Medal
Glod Largest Contribution Model Validation: Z3++, Gold Medal
Single Query Track: QF-NIA(UNSAT parallel), QF-NRA/QF-LIA(SAT parallel), QF-IDL(ALL); Model Validation Track: QF-LIA(ALL), QF-IDL(ALL), First Rank
SAT Competition 2021, Presentation of Results
Main-Track-SAT, Main-Track-UNSAT, Silver Medal
2021, SAT Cometition 2021 Crypto (Cadical Hack), Honorable Mentions]
SMT Competition 2021, Presentation of Results
QF_IDL(ALL) Model Validation Track, Single Query Track, Winner
SAT Competition 2020, Presentation of Results, Relaxed_newTech
Main-Track-SAT, Gold Medal
Main-Track, Silver Medal
SAT Competition 2018 NoLimit-Track, Winner.
Sparkle SAT Challenge, 2018, Second Place.
2017, Interdisciplinary Contest In Modeling, Meritorious Winner.
2016, Contemporary Undergraduate Mathematical Contest in Modeling (CUMCM), Second prize.
2016, International Genetically Engineered Machine competition (iGEM), Gold Award.
Research Interests
Papers共 17 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
INTEGRATION-THE VLSI JOURNAL (2025)
CoRR (2024)
Cited0Views0EIBibtex
0
0
arxiv(2024)
COMPUTERS & OPERATIONS RESEARCH (2024)
Xindi Zhang,Matthew R. Trendowski,Emma Wilkinson,Mohammad Shahbazi,Paul C. Dinh,Megan M. Shuey,Darren R. Feldman,Robert J. Hamilton,David J. Vaughn,Chunkit Fung,Christian Kollmannsberger,Robert Huddart,Neil E. Martin,Victoria A. Sanchez,Robert D. Frisina,Lawrence H. Einhorn, Nancy J. Cox,Lois B. Travis,M. Eileen Dolan
Load More
Author Statistics
#Papers: 17
#Citation: 74
H-Index: 6
G-Index: 8
Sociability: 4
Diversity: 2
Activity: 15
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn