Visa Nummelin

According to our database, Visa Nummelin authored at least 7 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Complete and Efficient Higher-Order Reasoning via Lambda-Superposition.

Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Uwe Waldmann

ACM SIGLOG News, October, 2023

Mechanical Mathematicians.

Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann

Commun. ACM, 2023

Recurrence-Driven Summations in Automated Deduction.

Visa Nummelin, Jasmin Blanchette, Sander R. Dahmen

Proceedings of the Frontiers of Combining Systems - 14th International Symposium, 2023

2022

Making Higher-Order Superposition Work.

Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret

J. Autom. Reason., 2022

2021

Efficient Full Higher-Order Unification.

Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin

Log. Methods Comput. Sci., 2021

Superposition with First-class Booleans and Inprocessing Clausification.

Visa Nummelin, Alexander Bentkamp, Sophie Tourret, Petar Vukmirovic

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Boolean Reasoning in a Higher-Order Superposition Prover.

Petar Vukmirovic, Visa Nummelin

Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020