26 citations · 77 across the 19 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.AI2022★ 3 cited
Human Mobility Prediction with Causal and Spatial-constrained Multi-task Network
Zongyuan Huang, Shengyuan Xu, Menghan Wang +3
Modeling human mobility helps to understand how people are accessing resources and physically contacting with each other in cities, and thus contributes to various applications suc…
cs.AI2022★ 26 cited
Machine Learning Methods in Solving the Boolean Satisfiability Problem
Wenxuan Guo, Junchi Yan, Hui-Ling Zhen +3
This paper reviews the recent literature on solving the Boolean satisfiability problem (SAT), an archetypal NP-complete problem, with the help of machine learning techniques. Despi…