Determinization of Resolution by an Algorithm Operating on Complete Assignments (Q5756586)

From MaRDI portal
scientific article; zbMATH DE number 5187245
Language Label Description Also known as
English
Determinization of Resolution by an Algorithm Operating on Complete Assignments
scientific article; zbMATH DE number 5187245

    Statements

    Determinization of Resolution by an Algorithm Operating on Complete Assignments (English)
    0 references
    0 references
    4 September 2007
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers