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

2021

Making Higher-Order Superposition Work.

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

Proceedings of the Automated Deduction - CADE 28, 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

Efficient Full Higher-Order Unification.

Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 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