Convex continuation of a Boolean function and its applications

DOI10.33048/DAIO.2024.31.779MaRDI QIDQ6648339zbMATH OpenFDO

Authors

Publication date 4 December 2024

Published in Diskretnyĭ Analiz i Issledovanie Operatsiĭ (Search for Journal in Brave)

Full work available at URL https://doi.org/10.33048/DAIO.2024.31.779

zbMATH Keywords

global optimizationSATBoolean functionlocal minimumsystem of Boolean equationsconvex continuation of function

Mathematics Subject Classification ID

Boolean programming (90C09) Boolean functions (94D10) Computational aspects of satisfiability (68R07)

Recommendations

• Construction of smooth convex extensions of Boolean functions
• Realization of Boolean functions by formulas in continuous bases containing a continuum of constants
• Convexity and logical analysis of data
• On a minimization problem for a set of Boolean functions
• scientific article; zbMATH DE number 3902392

Cites work

• Multilinear Extensions of Games
• Solution of systems of Boolean equations via the integer domain
• Sur les fonctions convexes et les inégalités entre les valeurs moyennes.
• The complexity of computing the permanent

Cited in

(4)

• Construction of smooth convex extensions of Boolean functions
• On the set of continuously differentiable concave extensions of a Boolean function
• Convex continuations of some discrete functions
• On the order of smoothness of the maximal convex continuation of a Boolean function

This page was built for publication: Convex continuation of a Boolean function and its applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6648339)