Scholar
Zhiwei Zhang
Google Scholar ID: Qsa0e50AAAAJ
Rice University
Citations & Impact
Citations
77
H-index
6
i10-index
1
Publications
16
Co-authors
6
list available
Contact
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- Journal Papers: 'Solving Hybrid Boolean Constraints in Continuous Space via Fourier Expansions', published in Artificial Intelligence (AIJ), 2021; Conference Papers: 'Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints', IJCAI 2023, awarded “Quantum-Graph Best-Paper of 2023” by Max Planck Institute; Tool Talk: 'On Continuous Local BDD-Based Search for Hybrid SAT Solving', AAAI 2021; 'FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints', AAAI 2020 (oral), also accepted by the Student Abstract Track of AAAI 2020 (finalist of best student abstract).
Research Experience
- Currently pursuing a Ph.D. at Rice University, focusing on SAT/MaxSAT solving, bridging discrete and continuous optimization, and logic in AI.
Education
- Sep 2018 - May 2024 (expected), Ph.D. in Computer Science, Rice University, advised by Prof. Moshe Vardi, co-advised by Prof. Anastasios Kyrillidis; Sep 2018 - Jan 2020, M.S. in Computer Science, Rice University; Sep 2014 - Jun 2018, B.S. in Computer Science (National Elite Program), Nanjing University.
Background
- Research interests: SAT/MaxSAT Solving, Bridging Discrete and Continuous Optimization, Logic in AI. B.S. from Nanjing University, Computer Science Dept., advised by Prof. Gong Cheng, with work on Knowledge Graph and Question Answering. Grew up in Tianshui, a beautiful city.
Miscellany
- Currently on the job market.
