If you made any changes in Pure these will be visible here soon.

Search results

  • 2021

    EFFICIENT FULL HIGHER-ORDER UNIFICATION

    Vukmirović, P., Bentkamp, A. & Nummelin, V., 2021, In: Logical Methods in Computer Science. 17, 4, 18.

    Research output: Contribution to JournalArticleAcademicpeer-review

    Open Access
  • Making Higher-Order Superposition Work

    Vukmirović, P., Bentkamp, A., Blanchette, J., Cruanes, S., Nummelin, V. & Tourret, S., 2021, Automated Deduction – CADE 2021: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 415-432 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12699 LNAI).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

    Open Access
  • Superposition with First-Class Booleans and Inprocessing Clausification

    Nummelin, V., Bentkamp, A., Tourret, S. & Vukmirović, P., 2021, Automated Deduction – CADE 2021: 28th International Conference on Automated Deduction, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 378-395 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • 2020

    Boolean reasoning in a higher-order superposition prover

    Vukmirovic, P. & Nummelin, V., 26 Nov 2020, PAAR+SC-Square 2020 Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020: 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 co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020) Paris, France, June-July, 2020 (Virtual). Fontaine, P., Korovin, K., Kotsireas, I. S., Rümmer, P. & Tourret, S. (eds.). CEUR-WS, p. 148-166 19 p. (CEUR Workshop Proceedings; vol. 2752).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

  • Efficient Full Higher-Order Unification

    Vukmirovic, P., Bentkamp, A. & Nummelin, V., 2020, 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020). Ariola, Z. M. (ed.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 5:1-5:17 17 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 167).

    Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review