Zhiwei Zhang

18 papers A* 4C 1Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A* conf
Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs.
AAAI
Yunuo Cen, Zhiwei Zhang, Xuanyao Fong
2025 J jnl
New Improvements in Solving Large LABS Instances Using Massively Parallelizable Memetic Tabu Search.
CoRR
Zhiwei Zhang, Jiayu Shen, Niraj Kumar, Marco Pistoia
2025 J jnl
On Continuous Optimization for Constraint Satisfaction Problems.
CoRR
Yunuo Cen, Zixuan Wang, Jintao Zhang, Zhiwei Zhang, Xuanyao Fong
2025 J jnl
Thinking Out of the Box: Hybrid SAT Solving by Unconstrained Continuous Optimization.
CoRR
Zhiwei Zhang, Samy Wu Fung, Anastasios Kyrillidis, Stanley J. Osher, Moshe Y. Vardi
2025 C conf
Understanding Boolean Function Learnability on Deep Neural Networks: PAC Learning Meets Neurosymbolic Models.
NeSy
Márcio Nicolau, Anderson R. Tavares, Zhiwei Zhang, Pedro H. C. Avelar, João Marcos Flach, Luís C. Lamb, Moshe Y. Vardi
2024 J jnl
Analysis of Higher-Order Ising Hamiltonians.
CoRR
Yunuo Cen, Zhiwei Zhang, Zixuan Wang, Yimin Wang, Xuanyao Fong
2023 J jnl
Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs.
CoRR
Yunuo Cen, Zhiwei Zhang, Xuanyao Fong
2023 J jnl
Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints.
CoRR
Moshe Y. Vardi, Zhiwei Zhang
2023 A* conf
Solving Quantum-Inspired Perfect Matching Problems via Tutte-Theorem-Based Hybrid Boolean Constraints.
IJCAI
Moshe Y. Vardi, Zhiwei Zhang
2022 J jnl
DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving.
CoRR
Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang
2022 J jnl
Quantum-Inspired Perfect Matching under Vertex-Color Constraints.
CoRR
Moshe Y. Vardi, Zhiwei Zhang
2021 J jnl
Momentum-inspired Low-Rank Coordinate Descent for Diagonally Constrained SDPs.
CoRR
Junhyung Lyle Kim, Jose Antonio Lara Benitez, Mohammad Taha Toghani, Cameron R. Wolfe, Zhiwei Zhang, Anastasios Kyrillidis
2021 A* conf
On Continuous Local BDD-Based Search for Hybrid SAT Solving.
AAAI
Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang
2021 J jnl
Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions.
Artif. Intell.
Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang
2020 A* conf
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints.
AAAI
Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang
2020 J jnl
On Continuous Local BDD-Based Search for Hybrid SAT Solving.
CoRR
Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang
2019 J jnl
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints.
CoRR
Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang
2018 — conf
Towards Answering Geography Questions in Gaokao: A Hybrid Approach.
CCKS
Zhiwei Zhang, Lingling Zhang, Hao Zhang, Weizhuo He, Zequn Sun, Gong Cheng, Qizhi Liu, Xinyu Dai, Yuzhong Qu