Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Zhiwei Zhang 0001

> Home > Persons

Person information

affiliation: Rice University, Houston, TX, USA

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2021
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/KyrillidisSVZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/KyrillidisSVZ21
Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang:
Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions. Artif. Intell. 299: 103559 (2021)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2021
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/KyrillidisVZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/KyrillidisVZ21
Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang:
On Continuous Local BDD-Based Search for Hybrid SAT Solving. AAAI 2021: 3841-3850
2020
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/KyrillidisSVZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/KyrillidisSVZ20
Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang:
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints. AAAI 2020: 1552-1560
2018
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ccks/ZhangZZHSCLDQ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccks/ZhangZZHSCLDQ18
Zhiwei Zhang, Lingling Zhang, Hao Zhang, Weizhuo He, Zequn Sun, Gong Cheng, Qizhi Liu, Xinyu Dai, Yuzhong Qu:
Towards Answering Geography Questions in Gaokao: A Hybrid Approach. CCKS 2018: 1-13

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2022
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-03747
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-03747
Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang:
DPMS: An ADD-Based Symbolic Approach for Generalized MaxSAT Solving. CoRR abs/2205.03747 (2022)
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-13063
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-13063
Moshe Y. Vardi, Zhiwei Zhang:
Quantum-Inspired Perfect Matching under Vertex-Color Constraints. CoRR abs/2209.13063 (2022)
2021
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2106-08775
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-08775
Junhyung Lyle Kim, Jose Antonio Lara Benitez, Mohammad Taha Toghani, Cameron R. Wolfe, Zhiwei Zhang, Anastasios Kyrillidis:
Momentum-inspired Low-Rank Coordinate Descent for Diagonally Constrained SDPs. CoRR abs/2106.08775 (2021)
2020
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2012-07983
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2012-07983
Anastasios Kyrillidis, Moshe Y. Vardi, Zhiwei Zhang:
On Continuous Local BDD-Based Search for Hybrid SAT Solving. CoRR abs/2012.07983 (2020)
2019
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1912-01032
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-01032
Anastasios Kyrillidis, Anshumali Shrivastava, Moshe Y. Vardi, Zhiwei Zhang:
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints. CoRR abs/1912.01032 (2019)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.