50 citations · 59 across the 10 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2021★ 1 cited
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks
Wenxi Wang, Yang Hu, Mohit Tiwari +3
Propositional satisfiability (SAT) is an NP-complete problem that impacts many research fields, such as planning, verification, and security. Mainstream modern SAT solvers are base…
cs.AI2021★ 50 cited
A Survey of Hybrid Human-Artificial Intelligence for Social Computing
Wenxi Wang, Huansheng Ning, Feifei Shi +3
Along with the development of modern computing technology and social sciences, both theoretical research and practical applications of social computing have been continuously exten…