upper zero of a monotone Boolean function
algorithm of searching for maximal upper zeros of a monotone Boolean function
An inference algorithm for monotone Boolean functions associated with undirected graphs
scientific article; zbMATH DE number 6646205