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

Search results

  • 2022

    Extending a brainiac prover to lambda-free higher-order logic

    Vukmirović, P., Blanchette, J., Cruanes, S. & Schulz, S., Feb 2022, In: International Journal on Software Tools for Technology Transfer. 24, 1, p. 67-87 21 p.

    Research output: Contribution to JournalArticleAcademicpeer-review

    Open Access
  • 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
  • SAT-Inspired Eliminations for Superposition

    Vukmirovic, P., Blanchette, J. & Heule, M. J. H., Oct 2021, Proceedings of the 21st Formal Methods in Computer-Aided Design - FMCAD 2021. Piskac, R., Whalen, M. W., Hunt, W. A. & Weissenbacher, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 231-240 10 p. (Conference Series: Formal Methods in Computer-Aided Design).

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

    Open Access
  • Superposition for Full Higher-Order Logic

    Bentkamp, A., Blanchette, J., Tourret, S. & Vukmirović, P., 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. 396-412 17 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

  • Superposition with Lambdas

    Bentkamp, A., Blanchette, J., Tourret, S., Vukmirović, P. & Waldmann, U., Oct 2021, In: Journal of Automated Reasoning. 65, 7, p. 893-940 48 p.

    Research output: Contribution to JournalArticleAcademicpeer-review

    Open Access
  • 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

  • 2019

    Extending a brainiac prover to lambda-free higher-order logic

    Vukmirović, P., Blanchette, J. C., Cruanes, S. & Schulz, S., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings - Part 1. Zhang, L. & Vojnar, T. (eds.). Springer Verlag, Vol. 1. p. 192-210 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

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

  • Faster, Higher, Stronger: E 2.3: E 2.3

    Schulz, S., Cruanes, S. & Vukmirovic, P., 2019, Automated Deduction - CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings. Fontaine, P. (ed.). Springer, p. 495-507 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11716 LNAI).

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

  • Superposition with lambdas

    Bentkamp, A., Blanchette, J., Tourret, S., Vukmirović, P. & Waldmann, U., 2019, Automated Deduction – CADE 2019: 27th International Conference on Automated Deduction, Proceedings. Fontaine, P. (ed.). Springer, p. 55-73 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11716 LNAI).

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