Skip to main content
main-content
Top

Journal

Journal of Automated Reasoning 6/2021
Journal of Automated Reasoning

Issue 6/2021

share
SHARE
insite
SEARCH

Table of Contents (4 Articles)

26-04-2021

Automated Discovery of Geometric Theorems Based on Vector Equations
Xicheng Peng, Qihang Chen, Jingzhong Zhang, Mao Chen

16-06-2021

On the Importance of Domain Model Configuration for Automated Planning Engines
Mauro Vallati, Lukáš Chrpa, Thomas Leo McCluskey, Frank Hutter

27-03-2021

Extensional Higher-Order Paramodulation in Leo-III
Alexander Steen, Christoph Benzmüller

05-04-2021

Automated Reasoning with Restricted Intensional Sets
Maximiliano Cristiá, Gianfranco Rossi

Premium Partner