On the evaluation of indexing techniques for theorem proving

Robert Nieuwenhuis, Thomas Hillenbrand, Alexandre Riazanov, Andrei Voronkov

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.
    PublisherSpringer Nature
    Pages257-271
    Number of pages14
    Volume2083
    ISBN (Print)3540422544, 9783540422549
    Publication statusPublished - 2001
    Event1st International Joint Conference on Automated Reasoning, IJCAR 2001 - Siena
    Duration: 1 Jul 2001 → …

    Publication series

    NameLecture Notes in Computer Science

    Conference

    Conference1st International Joint Conference on Automated Reasoning, IJCAR 2001
    CitySiena
    Period1/07/01 → …

    Cite this