Login / Signup
Chengcheng Ji
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 2
Top Topics
Knuth Bendix
Inductive Learning
Constrained Optimization
Term Rewriting
Top Venues
IEICE Trans. Inf. Syst.
IoTAAI
</>
Publications
</>
Ting Guo
,
Zhongzheng Huang
,
Ruimin Li
,
Chengcheng Ji
,
Xianghua Lai
Research on Muli-objective Ship Speed Optimization Considering Ship Emission Control Areas.
IoTAAI
(2023)
Chengcheng Ji
,
Masahito Kurihara
,
Haruhiko Sato
Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection.
IEICE Trans. Inf. Syst.
(2) (2019)