Zhiwei Zhang

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

Collaborative distances:

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

2025

On Continuous Optimization for Constraint Satisfaction Problems.

Yunuo Cen, Zixuan Wang, Jintao Zhang, Zhiwei Zhang, Xuanyao Fong

CoRR, October, 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

New Improvements in Solving Large LABS Instances Using Massively Parallelizable Memetic Tabu Search.

Zhiwei Zhang, Jiayu Shen, Niraj Kumar, Marco Pistoia

CoRR, April, 2025

Understanding Boolean Function Learnability on Deep Neural Networks: PAC Learning Meets Neurosymbolic Models.

Márcio Nicolau, Anderson R. Tavares, Zhiwei Zhang, Pedro H. C. Avelar, João Marcos Flach, Luís C. Lamb, Moshe Y. Vardi

Proceedings of The 19th International Conference on Neurosymbolic Learning and Reasoning (NeSy 2025), 2025

Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs.

Yunuo Cen, Zhiwei Zhang, Xuanyao Fong

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2024

Analysis of Higher-Order Ising Hamiltonians.

Yunuo Cen, Zhiwei Zhang, Zixuan Wang, Yimin Wang, Xuanyao Fong

CoRR, 2024

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