Hard Instance Generation for SAT (Extended Abstract). - Satoshi Horie; Osamu Watanabe 001 (ISAAC, 1997)

Hard instance generation for SAT - Satoshi Horie; Osamu Watanabe 001 (CoRR, 1998)

Fundamental Study on Medical Tactile Sensor Composed of Organic Ferroelectrics. - Kazuto Takashima; Satoshi Horie; Makoto Takenaka; Toshiharu Mukai; Kenji Ishida; Yasukiyo Ueda (ICETET, 2012)

Fabrication and Evaluation of Catheter-Type Tactile Sensor Composed of Two Polyvinylidene Fluoride Films. - Kazuto Takashima; Masahiro Watanabe; Kai Inoue; Satoshi Horie; Kenji Ishida (SICE, 2022)