Practical algorithms for deciding path ordering constraint satisfaction. (Q1400710)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Practical algorithms for deciding path ordering constraint satisfaction.
scientific article

    Statements

    Practical algorithms for deciding path ordering constraint satisfaction. (English)
    0 references
    0 references
    0 references
    2 November 2003
    0 references
    0 references
    automated deduction
    0 references
    ordered strategies
    0 references
    symbolic constraints
    0 references
    0 references