影响力指数

3.03/100

超过 9%

全站排名 #58,566

发表论文1 篇

平均评分6.0

年均产出1.0 篇/年

Sarfraz Khurshid

Vice Chancellor@ITU of Punjab Lahore, Pakistan·OpenReview

NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks

ICLR 2024Poster

合作者 (5)

Kenneth McMillan

Risto Miikkulainen