3 citations · 5 across the 2 of their papers we have counts for
2 papers
eess.SY2020★ 3 cited
The Geometric Unscented Kalman Filter
Chengling Fang, Jiang Liu, Songqing Ye +1
Many filters have been proposed in recent decades for the nonlinear state estimation problem. The linearization-based extended Kalman filter (EKF) is widely applied to nonlinear in…
cs.CC2017★ 2 cited
A Linear Algebra Formulation for Boolean Satisfiability Testing
Chengling Fang, Jiang Liu
In the article \The State of SAT", the authors asked whether a procedure dramatically different from DPLL can be found for handling unsatisfiable instances. This study proposes a n…