Integer programs for logic constraint satisfaction (Q1193860)

From MaRDI portal





scientific article; zbMATH DE number 65301
Language Label Description Also known as
English
Integer programs for logic constraint satisfaction
scientific article; zbMATH DE number 65301

    Statements

    Integer programs for logic constraint satisfaction (English)
    0 references
    0 references
    27 September 1992
    0 references
    logic constraint satisfaction problems
    0 references
    NP-hard
    0 references
    deterministic polynomial time algorithm
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers