Issue 6/2021
Content (4 Articles)
Automated Discovery of Geometric Theorems Based on Vector Equations
Xicheng Peng, Qihang Chen, Jingzhong Zhang, Mao Chen
On the Importance of Domain Model Configuration for Automated Planning Engines
Mauro Vallati, Lukáš Chrpa, Thomas Leo McCluskey, Frank Hutter