scientific article; zbMATH DE number 5852793
From MaRDI portal
Publication:3077976
integer programmingthreshold functionsseparating structureread-once functionsquadratic Boolean functionsquadratic Boolean equationspseudo-Boolean functionsprime implicantspartially defined Boolean functionsnormal formslogic minimizationlogic circuits\texttt{JBool}Horn functionsdualitycomputational complexitycharacterizations by functional equationsBoolean programmingBoolean functionsBoolean expressionsBoolean equationsBoolean algorithmsapplications of Boolean functions
Recommendations
- scientific article; zbMATH DE number 953683
- Boolean function complexity. Advances and frontiers.
- scientific article; zbMATH DE number 4012691
- scientific article; zbMATH DE number 3880684
- scientific article; zbMATH DE number 3884230
- scientific article; zbMATH DE number 4012495
- Set-theoretical Constructions of Boolean Functions and theirs Applications in Logic Synthesis
- Boolean algebra approximations
- scientific article; zbMATH DE number 4125344
Cited in
(only showing first 100 items - show all)- Minimal and locally minimal games and game forms
- Binary functions and their applications
- Risk-budgeting multi-portfolio optimization with portfolio and marginal risk constraints
- A characterization of nested canalyzing functions with maximum average sensitivity
- Representation-compatible power indices
- Disjointed sum of products by a novel technique of orthogonalizing ORing
- On the nonlinearity of monotone Boolean functions
- Critical and maximum independent sets of a graph
- Dirichlet product for Boolean functions
- Minimal sets on propositional formulae. Problems and reductions
- Optimal resource allocation enables mathematical exploration of microbial metabolic configurations
- Submodular goal value of Boolean functions
- Cut approach to invariance groups of lattice-valued functions
- Logical analysis of data as a tool for the analysis of probabilistic discrete choice behavior
- On logical bifurcation diagrams
- Autark assignments of Horn CNFs
- A class of valid inequalities for multilinear 0-1 optimization problems
- A three-person deterministic graphical game without Nash equilibria
- An analysis of root functions -- a subclass of the impossible class of faulty functions (ICFF)
- k-maxitive Sugeno integrals as aggregation models for ordinal preferences
- Monotone bargaining is Nash-solvable
- Linear read-once and related Boolean functions
- Generating Boolean \(\mu\)-expressions
- Interior and exterior functions of Boolean functions
- Fuzzy relational equations with min-biimplication composition
- On connected Boolean functions
- Equational characterizations of Boolean function classes
- On the efficiency of normal form systems for representing Boolean functions
- Berge-acyclic multilinear 0-1 optimization problems
- Computing maximal and minimal trap spaces of Boolean networks
- Enumerating and categorizing positive Boolean functions separable by a \(k\)-additive capacity
- Translating between the representations of a ranked convex geometry
- Boolean spectral analysis in categorical reservoir modeling
- Critical properties and complexity measures of read-once Boolean functions
- Matroid optimization problems with monotone monomials in the objective
- Pseudo-Boolean conditional optimization models for a class of multiple traveling salesmen problems
- Constructing depth-optimum circuits for adders and \textsc{And}-\textsc{Or} paths
- On Boolean threshold functions with minimum specification number
- Variable-depth simulation of most permissive Boolean networks
- MCP: capturing big data by satisfiability (tool description)
- Data-driven project portfolio selection: decision-dependent stochastic programming formulations with reliability and time to market requirements
- The read once formula of a series-parallel network
- The complexity of AND-decomposition of Boolean functions
- Optimal quadratic reformulations of fourth degree pseudo-Boolean functions
- Approximate bit dependency analysis to identify program synthesis problems as infeasible
- New width parameters for SAT and \#SAT
- On read-once functions over \(\mathbb{Z}_3\)
- De Morgan functions and free De Morgan algebras.
- Hardness results for approximate pure Horn CNF formulae minimization
- Invariance groups of finite functions and orbit equivalence of permutation groups.
- On effectivity functions of game forms
- Competitive Boolean function evaluation: beyond monotonicity, and the symmetric case
- Compact quadratizations for pseudo-Boolean functions
- Decomposing 1-Sperner hypergraphs
- An iterative method for linear decomposition of index generating functions
- Exact bounds of the Möbius inverse of monotone set functions
- Generalising unit-refutation completeness and SLUR via nested input resolution
- A representation of antimatroids by Horn rules and its application to educational systems
- Two more characterizations of König-Egerváry graphs
- Subspace projection method for unstructured searches with noisy quantum oracles using a signal-based quantum emulation device
- On algebraic immunity of trace inverse functions on finite fields of characteristic two
- Approximately classic judgement aggregation
- Counting inequivalent monotone Boolean functions.
- Boolean functions with long prime implicants
- A Boolean theory of signatures for tonal scales
- Sandwich problem for \(\varPi\)- and \(\varDelta\)-free multigraphs and its applications to positional games
- Quadratization of symmetric pseudo-Boolean functions
- Boolean function metrics can assist modelers to check and choose logical rules
- Joint realizability of monotone Boolean functions
- Lower bounds for Boolean circuits of bounded negation width
- A logic for binary classifiers and their explanation
- Separable and equatable hypergraphs
- scientific article; zbMATH DE number 1634465 (Why is no real title available?)
- Selected problems in the theory of Boolean functions. Ed. by S. F. Vinokurov and N. A. Peryazev.
- Closed classes of Boolean functions. 2nd ed.
- Sign-representation of Boolean functions using a small number of monomials
- Super-Boolean functions and free Boolean quasilattices.
- Generalising and unifying SLUR and unit-refutation completeness
- A semi-tensor product approach to pseudo-Boolean functions with application to Boolean control networks
- Oblivious bounds on the probability of boolean functions
- On linear rewriting systems for Boolean logic and some applications to proof theory
- scientific article; zbMATH DE number 4134113 (Why is no real title available?)
- Characterization of zigzag De Morgan functions
- Multi-objective probabilistically constrained programs with variable risk: models for multi-portfolio financial optimization
- Totally optimal decision trees for Boolean functions
- A new time-independent reliability importance measure
- Disjoint Boolean Products via Shannon's Expansion
- Investigation of some subclasses of multiaffine, bijunctive, weakly positive and weakly negative Boolean functions
- Approximating Boolean functions with depth-2 circuits
- Community structure inspired algorithms for SAT and \#SAT
- scientific article; zbMATH DE number 3981089 (Why is no real title available?)
- scientific article; zbMATH DE number 4083547 (Why is no real title available?)
- scientific article; zbMATH DE number 49082 (Why is no real title available?)
- scientific article; zbMATH DE number 107561 (Why is no real title available?)
- Super-De Morgan functions and free De Morgan quasilattices
- scientific article; zbMATH DE number 3599956 (Why is no real title available?)
- scientific article; zbMATH DE number 4125344 (Why is no real title available?)
- Galois theory for sets of operations closed under permutation, cylindrification, and composition
- scientific article; zbMATH DE number 1963548 (Why is no real title available?)
- Algorithms for Boolean Function Query Properties
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3077976)
