research
∙
08/16/2022
SAT-Inspired Higher-Order Eliminations
We generalize several propositional preprocessing techniques to higher-o...
share
research
∙
01/31/2021
Superposition with Lambdas
We designed a superposition calculus for a clausal fragment of extension...
research
∙
11/18/2020
