1 citations · 1 across the 1 of their papers we have counts for
1 paper
Alice Petrov, Christian Muise
This paper explores the application of automated planning to automated theorem proving, which is a branch of automated reasoning concerned with the development of algorithms and co…