| FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints A Kyrillidis, A Shrivastava, MY Vardi, Z Zhang AAAI 2020, 2019 | 14 | 2019 |
| Towards answering geography questions in Gaokao: A hybrid approach Z Zhang, L Zhang, H Zhang, W He, Z Sun, G Cheng, Q Liu, X Dai, Y Qu Knowledge Graph and Semantic Computing. Knowledge Computing and Language …, 2019 | 8 | 2019 |
| On Continuous Local BDD-Based Search for Hybrid SAT Solving A Kyrillidis, MY Vardi, Z Zhang AAAI 2021, 2020 | 5 | 2020 |
| Quantum-inspired perfect matching under vertex-color constraints MY Vardi, Z Zhang arXiv preprint arXiv:2209.13063, 2022 | 4 | 2022 |
| DPMS: an ADD-based symbolic approach for generalized MaxSAT solving A Kyrillidis, MY Vardi, Z Zhang arXiv preprint arXiv:2205.03747, 2022 | 4 | 2022 |
| Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions A Kyrillidis, A Shrivastava, MY Vardi, Z Zhang Artificial Intelligence 299, 103559, 2021 | 3 | 2021 |
| Understanding boolean function learnability on deep neural networks JM M Nicolau, AR Tavares, Z Zhang, P Avelar, JM Flach, M Nicolau, ... arXiv e-prints, arXiv: 2009.05908, 2020 | 2* | 2020 |
| Solving Quantum-Inspired Perfect Matching Problems via Tutte's Theorem-Based Hybrid Boolean Constraints MY Vardi, Z Zhang IJCAI 2023, 2023 | 1 | 2023 |
| Solving Hybrid Boolean Constraints by Fourier Expansions and Continuous Optimization Z Zhang Master's Thesis (Rice University), 2020 | 1 | 2020 |
| Massively Parallel Continuous Local Search for Hybrid SAT Solving on GPUs Y Cen, Z Zhang, X Fong arXiv preprint arXiv:2308.15020, 2023 | | 2023 |
| Momentum-inspired Low-Rank Coordinate Descent for Diagonally Constrained SDPs JL Kim, JA Benitez, MT Toghani, C Wolfe, Z Zhang, A Kyrillidis arXiv preprint arXiv:2106.08775, 2021 | | 2021 |
| FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints (Student Abstract Version) A Kyrillidis, A Shrivastava, M Vardi, Z Zhang | | 2020 |
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
