Visa Nummelin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2020–2021
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CADE | Superposition with First-class Booleans and Inprocessing Clausification. | Visa Nummelin, Alexander Bentkamp, Sophie Tourret, Petar Vukmirovic |
| 2021 | CADE | Making Higher-Order Superposition Work. | Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret |
| 2020 | CADE | Boolean Reasoning in a Higher-Order Superposition Prover. | Petar Vukmirovic, Visa Nummelin |
| 2020 | FSCD | Efficient Full Higher-Order Unification. | Petar Vukmirovic, Alexander Bentkamp, Visa Nummelin |