Leveraging belief propagation, backtrack search, and statistics for model counting (Q545553)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Leveraging belief propagation, backtrack search, and statistics for model counting
scientific article

    Statements

    Leveraging belief propagation, backtrack search, and statistics for model counting (English)
    0 references
    0 references
    0 references
    0 references
    22 June 2011
    0 references
    Boolean satisfiability
    0 references
    SAT
    0 references
    number of solutions
    0 references
    model counting
    0 references
    bpcount
    0 references
    minicount
    0 references
    lower bounds
    0 references
    upper bounds
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers