Towards Answering Geography Questions in Gaokao: A Hybrid Approach. - Zhiwei Zhang 001; Lingling Zhang; Hao Zhang; Weizhuo He; Zequn Sun; Gong Cheng 001; Qizhi Liu; Xinyu Dai; Yuzhong Qu (CCKS, 2018)

FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints. - Anastasios Kyrillidis; Anshumali Shrivastava; Moshe Y. Vardi; Zhiwei Zhang 001 (AAAI, 2020)

On Continuous Local BDD-Based Search for Hybrid SAT Solving. - Anastasios Kyrillidis; Moshe Y. Vardi; Zhiwei Zhang 001 (AAAI, 2021)

Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions. - Anastasios Kyrillidis; Anshumali Shrivastava; Moshe Y. Vardi; Zhiwei Zhang 001 (Artif. Intell., 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 001; Anastasios Kyrillidis (CoRR, 2021)

DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving. - Anastasios Kyrillidis; Moshe Y. Vardi; Zhiwei Zhang 001 (CoRR, 2022)

Quantum-Inspired Perfect Matching under Vertex-Color Constraints. - Moshe Y. Vardi; Zhiwei Zhang 001 (CoRR, 2022)

Solving Quantum-Inspired Perfect Matching Problems via Tutte-Theorem-Based Hybrid Boolean Constraints. - Moshe Y. Vardi; Zhiwei Zhang 001 (IJCAI, 2023)

Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints. - Moshe Y. Vardi; Zhiwei Zhang 001 (CoRR, 2023)

Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization. - Zhiwei Zhang 001; Samy Wu Fung; Anastasios Kyrillidis; Stanley J. Osher; Moshe Y. Vardi (CoRR, 2025)