An inference algorithm for monotone Boolean functions associated with undirected graphs (Q2830891)

From MaRDI portal





scientific article; zbMATH DE number 6646205
Language Label Description Also known as
English
An inference algorithm for monotone Boolean functions associated with undirected graphs
scientific article; zbMATH DE number 6646205

    Statements

    0 references
    0 references
    1 November 2016
    0 references
    monotone Boolean function
    0 references
    upper zero of a monotone Boolean function
    0 references
    graph
    0 references
    algorithm of searching for maximal upper zeros of a monotone Boolean function
    0 references
    An inference algorithm for monotone Boolean functions associated with undirected graphs (English)
    0 references

    Identifiers