Wei Li is a research assistant/software engineer with Autodesk Research. Prior to Autodesk, Wei was a software engineer at Software Business Division, Lenovo Group Ltd. and Institute of Software, Chinese Academy of Sciences.
Mr. Li received his Ph.D in computer science from the University of Waterloo and received his B.Sc. in computer science at the University of Science and Technology of China. Wei has presented several publications at major artificial intelligence conferences focusing on probabilistic reasoning, model counting, SAT and constraint satisfaction.
CommunityCommands: Command Recommendations for Software Applications (2009)
Exploiting Causal Independence Using Weighted Model Counting (2008)
Performing Incremental Bayesian Inference by Dynamic Model Counting (2006)
Guiding Real-world SAT Solving with Dynamic Hypergraph Separator Decomposition (2004)
All Text and Imagery Copyright © 2010 Autodesk, Inc. All Rights Reserved.