Bayesian ranking for strategy scheduling in automated theorem provers (Q2104545)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Bayesian ranking for strategy scheduling in automated theorem provers
scientific article

    Statements

    Bayesian ranking for strategy scheduling in automated theorem provers (English)
    0 references
    0 references
    0 references
    7 December 2022
    0 references
    Bayesian machine learning
    0 references
    strategy scheduling
    0 references
    automated theorem proving
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers