Automated Discovery of Geometric Theorems Based on Vector Equations Xicheng PengQihang ChenMao Chen OriginalPaper 26 April 2021 Pages: 711 - 726
On the Importance of Domain Model Configuration for Automated Planning Engines Mauro VallatiLukáš ChrpaFrank Hutter OriginalPaper 16 June 2021 Pages: 727 - 773
Extensional Higher-Order Paramodulation in Leo-III Alexander SteenChristoph Benzmüller OriginalPaper 27 March 2021 Pages: 775 - 807
Automated Reasoning with Restricted Intensional Sets Maximiliano CristiáGianfranco Rossi OriginalPaper 05 April 2021 Pages: 809 - 890