Visa Nummelin

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 10

Top Topics

Automated Deduction

Markov Random Field

Rule Based Reasoning

Top Venues

ACM SIGLOG News

Publications

Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Uwe Waldmann
Complete and Efficient Higher-Order Reasoning via Lambda-Superposition. ACM SIGLOG News 10 (4) (2023)
Visa Nummelin, Jasmin Blanchette, Sander R. Dahmen
Recurrence-Driven Summations in Automated Deduction. FroCoS (2023)
Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Mechanical Mathematicians. Commun. ACM 66 (4) (2023)
Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret
Making Higher-Order Superposition Work. J. Autom. Reason. 66 (4) (2022)
Visa Nummelin, Alexander Bentkamp, Sophie Tourret, Petar Vukmirovic
Superposition with First-class Booleans and Inprocessing Clausification. CADE (2021)
Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret
Making Higher-Order Superposition Work. CADE (2021)
Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin
Efficient Full Higher-Order Unification. Log. Methods Comput. Sci. 17 (4) (2021)
Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin
Efficient Full Higher-Order Unification. FSCD (2020)
Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin
Efficient Full Higher-Order Unification. CoRR (2020)
Petar Vukmirovic, Visa Nummelin
Boolean Reasoning in a Higher-Order Superposition Prover. PAAR+SC²@IJCAR (2020)