Zhiwei Zhang

According to our database, Zhiwei Zhang authored at least 10 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization.

Zhiwei Zhang, Samy Wu Fung, Anastasios Kyrillidis, Stanley J. Osher, Moshe Y. Vardi

CoRR, June, 2025

2023

Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints.

Moshe Y. Vardi, Zhiwei Zhang

CoRR, 2023

Solving Quantum-Inspired Perfect Matching Problems via Tutte-Theorem-Based Hybrid Boolean Constraints.

Moshe Y. Vardi, Zhiwei Zhang

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Quantum-Inspired Perfect Matching under Vertex-Color Constraints.

Moshe Y. Vardi, Zhiwei Zhang

CoRR, 2022

DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving.

Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang

CoRR, 2022

2021

Momentum-inspired Low-Rank Coordinate Descent for Diagonally Constrained SDPs.

Junhyung Lyle Kim, Jose Antonio Lara Benitez, Mohammad Taha Toghani, Cameron R. Wolfe, Zhiwei Zhang, Anastasios Kyrillidis

CoRR, 2021

Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions.

Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang

Artif. Intell., 2021

On Continuous Local BDD-Based Search for Hybrid SAT Solving.

Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints.

Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2018

Towards Answering Geography Questions in Gaokao: A Hybrid Approach.

Zhiwei Zhang, Lingling Zhang, Hao Zhang, Weizhuo He, Zequn Sun, Gong Cheng, Qizhi Liu, Xinyu Dai, Yuzhong Qu

Proceedings of the Knowledge Graph and Semantic Computing. Knowledge Computing and Language Understanding, 2018