Disjunctive and conjunctive normal forms of pseudo-Boolean functions

DOI10.1016/S0166-218X(00)00276-6zbMath0965.06015MaRDI QIDQ1841879

Stephan Foldes, Peter L. Hammer

Publication date: 26 July 2001

Published in: Discrete Applied Mathematics (Search for Journal in Brave)

zbMATH Keywords

disjunctive normal formresolution methodpseudo-Boolean functionprime implicatesconjunctive normal formprime implicants

Mathematics Subject Classification ID

Boolean functions (06E30)

Related Items (8)

Disjunctive analogues of submodular and supermodular pseudo-Boolean functions ⋮ Fast 1-flip neighborhood evaluations for large-scale pseudo-Boolean optimization using posiform representation ⋮ Locally monotone Boolean and pseudo-Boolean functions ⋮ A pseudo-Boolean consensus approach to nonlinear 0-1 optimization ⋮ Spanned patterns for the logical analysis of data ⋮ Consensus algorithms for the generation of all maximal bicliques ⋮ Pseudo-Boolean conditional optimization models for a class of multiple traveling salesmen problems ⋮ Rotation-invariant t-norm solutions of a system of functional equations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Consensus algorithms for the generation of all maximal bicliques
• Binary functions and their applications
• Minimax algebra
• Optimal cell flipping to minimize channel density in VLSI design and pseudo-Boolean optimization
• Dualization, decision lists and identification of monotone discrete functions
• On Sugeno integral as an aggregation function
• Disjunctive and conjunctive representations in finite lattices and convexity spaces
• Disjunctive analogues of submodular and supermodular pseudo-Boolean functions
• Decompositions of positive self-dual Boolean functions
• Equational characterizations of Boolean function classes
• A Way to Simplify Truth Functions
• On sentences which are true of direct unions of algebras
• The theory of quaternialty

This page was built for publication: Disjunctive and conjunctive normal forms of pseudo-Boolean functions