Intelligent Lead: A Novel HRI Sensor for Guide Robots. - Keum-Bae Cho; Beomhee Lee (Sensors, 2012)

The number system hidden inside the Boolean satisfiability problem. - Keum-Bae Cho (CoRR, 2014)

Indistinguishable binomial decision tree of 3-SAT: Proof of class P is a proper subset of class NP. - Keum-Bae Cho (CoRR, 2018)