Octopus: combining learning and parallel search (Q861370)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Octopus: combining learning and parallel search
scientific article

    Statements

    Octopus: combining learning and parallel search (English)
    0 references
    0 references
    0 references
    29 January 2007
    0 references
    automated theorem proving
    0 references
    learning strategies
    0 references
    parallel search
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers