Zhiwei Zhang

According to our database, Zhiwei Zhang authored at least 7 papers between 2018 and 2022.

Collaborative distances:

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

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