Petar Vukmirović | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Alexander Bentkamp
8 publications
Sophie Tourret
5 publications
Jasmin Blanchette
3 publications
Uwe Waldmann
3 publications
Visa Nummelin
1 publication

research

∙ 08/16/2022

SAT-Inspired Higher-Order Eliminations

We generalize several propositional preprocessing techniques to higher-o...

0 Jasmin Blanchette, et al. ∙

research

∙ 01/31/2021

Superposition with Lambdas

We designed a superposition calculus for a clausal fragment of extension...

0 Alexander Bentkamp, et al. ∙

research

∙ 11/18/2020

Efficient Full Higher-Order Unification

We developed a procedure to enumerate complete sets of higher-order unif...

0 Petar Vukmirović, et al. ∙