Login / Signup
Hengkai Zhang
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Solving Hard
Propositional Satisfiability
Constraint Satisfaction Problems
Stochastic Local Search
Top Venues
Int. J. Comput. Intell. Syst.
</>
Publications
</>
Wenjing Chang
,
Hengkai Zhang
,
Junwei Luo
Predicting Propositional Satisfiability Based on Graph Attention Networks.
Int. J. Comput. Intell. Syst.
15 (1) (2022)