Jui-Pin Liu

Publication Activity (10 Years)

Years Active: 2016-2016
Publications (10 Years): 2

Top Topics

Constrained Optimization Problems

Multi Objective Optimization

Evolutionary Algorithm

Simulated Annealing

Top Venues

Publications

Li-An Yang, Jui-Pin Liu, Chao-Hong Chen, Ying-Ping Chen
Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants. CoRR (2016)
Li-An Yang, Jui-Pin Liu, Chao-Hong Chen, Ying-Ping Chen
Automatically proving mathematical theorems with evolutionary algorithms and proof assistants. CEC (2016)