Research report 2020 - Max Planck Institute for Informatics
Learning and Forgetting
Authors
Weidenbach, Christoph
Departments
RG1: Automation of Logic
Summary
Learning new insights is a key technology in solving hard problems with a computer. The systematic generation of new insights also implies the forgetting of insights in order to meet space and time restrictions.