Concepedia

Sangxia Huang

SH

Statistics

Publications

7

Citations

204

H-Index

7

Active since

2011

Affiliations

Microsoft Research Asia (China)(Current)

KTH Royal Institute of Technology

École Polytechnique Fédérale de Lausanne

Sangxia Huang is an author at Microsoft Research Asia (China) specializing in engineering, formal methods, and combinatorial optimization.

Top concepts

EngineeringFormal MethodsComputer ScienceDiscrete MathematicsCombinatorial OptimizationHealthKinesiologyData ScienceDeep LearningMachine Vision

Publications per year

2011–2022

7

Publications

7

MM-Fit

David Strömbäck, Sangxia Huang, Valentin Radu · Proceedings of the ACM on Interactive Mobile Wearable and Ubiquitous Technologies · 2020 · 58 citations

Physical Activity, Engineering, Machine Learning +17

From Holant to #CSP and Back: Dichotomy for Holant c Problems

Jin‐Yi Cai, Sangxia Huang, Pinyan Lu · Algorithmica · 2012 · 40 citations

Programming Language Theory, Engineering, Formal Methods +4

The Complexity of Weighted Boolean #CSP Modulo k

Heng Guo, Sangxia Huang, Pinyan Lu et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2011 · 29 citations · Full text

A Dichotomy for Real Weighted Holant Problems

Sangxia Huang, Pinyan Lu · Computational Complexity · 2015 · 26 citations · Full text

Mathematical Programming, Engineering, Optimization Problem +5

A Dichotomy for Real Weighted Holant Problems

Sangxia Huang, Pinyan Lu · 2012 · 25 citations

Mathematical Programming, Computational Complexity Theory, Engineering +18

1–5 of 7