Zhiwei Zhang
Orcid: 0000-0001-9990-324XAffiliations:
- JPMorgan Chase, Global Technology Applied Research, New York, NY, USA
- Rice University, Department of Computer Science, Houston, TX, USA (PhD 2024)
- Nanjing University, National Key Laboratory for Novel Software Technology, Nanjing, China (2014 - 2018)
According to our database1,
Zhiwei Zhang
authored at least 14 papers
between 2018 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on cs.rice.edu
-
on orcid.org
On csauthors.net:
Bibliography
2025
Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization.
CoRR, June, 2025
New Improvements in Solving Large LABS Instances Using Massively Parallelizable Memetic Tabu Search.
CoRR, April, 2025
Proceedings of the AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25, 2025
2024
2023
Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints.
CoRR, 2023
Solving Quantum-Inspired Perfect Matching Problems via Tutte-Theorem-Based Hybrid Boolean Constraints.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
2022
2021
CoRR, 2021
Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions.
Artif. Intell., 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2018
Proceedings of the Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding, 2018