scientific article; zbMATH DE number 5852793

zbMATH Open1237.06001MaRDI QIDQ3077976FDOQ3077976

Authors:

Publication date: 18 February 2011

Title of this publication is not available (Why is that?)

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

Boolean functions (06E30) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to ordered structures (06-00)

Cited In (only showing first 100 items - show all)

Counting and enumerating aggregate classifiers
Title not available (Why is that?)
Variable-depth simulation of most permissive Boolean networks
On the efficiency of normal form systems for representing Boolean functions
Optimal quadratic reformulations of fourth degree pseudo-Boolean functions
Linear separation of connected dominating sets in graphs
Risk-budgeting multi-portfolio optimization with portfolio and marginal risk constraints
Logical analysis of data as a tool for the analysis of probabilistic discrete choice behavior
On logical bifurcation diagrams
Boole-De Morgan bilattices
Hyperidentities and related concepts. II
MCP: capturing big data by satisfiability (tool description)
Hyperidentities and related concepts. I
Autark assignments of Horn CNFs
Monotone bargaining is Nash-solvable
The Boolean Determinant Calculus
Compact quadratizations for pseudo-Boolean functions
Representation-compatible power indices
The power of Sherali-Adams relaxations for general-valued CSPs
Berge-acyclic multilinear 0-1 optimization problems
Characterization of zigzag De Morgan functions
Disjointed sum of products by a novel technique of orthogonalizing ORing
A tractable class of binary VCSPs via M-convex intersection
\(k\)-maxitive Sugeno integrals as aggregation models for ordinal preferences
A class of valid inequalities for multilinear 0-1 optimization problems
Optimal resource allocation enables mathematical exploration of microbial metabolic configurations
Oblivious bounds on the probability of boolean functions
Data-driven project portfolio selection: decision-dependent stochastic programming formulations with reliability and time to market requirements
A lower bound on CNF encodings of the at-most-one constraint
A logic for binary classifiers and their explanation
On linear rewriting systems for Boolean logic and some applications to proof theory
Translating between the representations of a ranked convex geometry
Matroid optimization problems with monotone monomials in the objective
Separable and equatable hypergraphs
A three-person deterministic graphical game without Nash equilibria
Boolean spectral analysis in categorical reservoir modeling
Critical properties and complexity measures of read-once Boolean functions
Enumerating and categorizing positive Boolean functions separable by a \(k\)-additive capacity
Title not available (Why is that?)
Algorithms for Boolean Function Query Properties
An analysis of root functions -- a subclass of the impossible class of faulty functions (ICFF)
Critical and maximum independent sets of a graph
Decomposing 1-Sperner hypergraphs
Lower bounds for Boolean circuits of bounded negation width
Dirichlet product for Boolean functions
Editorial: Special issue on Boolean functions and their applications
Linear read-once and related Boolean functions
Binary functions and their applications
The complexity of valued CSPs
Title not available (Why is that?)
Title not available (Why is that?)
The complexity of AND-decomposition of Boolean functions
Pseudo-Boolean conditional optimization models for a class of multiple traveling salesmen problems
Title not available (Why is that?)
A first polynomial non-clausal class in many-valued logic
Constructing depth-optimum circuits for adders and \textsc{And}-\textsc{Or} paths
One-to-one correspondense between proper families of Boolean functions and unique sink orientations of cubes
Closed classes of Boolean functions. 2nd ed.
Cut approach to invariance groups of lattice-valued functions
Submodular goal value of Boolean functions
A representation of antimatroids by Horn rules and its application to educational systems
On Davis-Putnam reductions for minimally unsatisfiable clause-sets
On anonymous and weighted voting systems
Incremental polynomial time dualization of quadratic functions and a subclass of degree-\(k\) functions
Super-De Morgan functions and free De Morgan quasilattices
Monotone Boolean functions
Analysis of Boolean Functions
Locally monotone Boolean and pseudo-Boolean functions
Quadratization of symmetric pseudo-Boolean functions
Minimal and locally minimal games and game forms
On effectivity functions of game forms
Two more characterizations of König-Egerváry graphs
Quadratic reformulations of nonlinear binary optimization problems
Approximately classic judgement aggregation
The power of linear programming for general-valued CSPs
On Boolean threshold functions with minimum specification number
The give-up problem for blocked regional lists with multi-winners
Sign-representation of Boolean functions using a small number of monomials
On a quasi-ordering on Boolean functions
A functional completeness theorem for De Morgan functions.
Title not available (Why is that?)
Extended box clustering for classification problems
Minimal sets on propositional formulae. Problems and reductions
Competitive Boolean function evaluation: beyond monotonicity, and the symmetric case
Computing maximal and minimal trap spaces of Boolean networks
Generalising and unifying SLUR and unit-refutation completeness
Title not available (Why is that?)
Selected problems in the theory of Boolean functions. Ed. by S. F. Vinokurov and N. A. Peryazev.
On Tackling Explanation Redundancy in Decision Trees
Hardness results for approximate pure Horn CNF formulae minimization
On the nonlinearity of monotone Boolean functions
Prominent classes of the most general subsumptive solutions of Boolean equations
Equational characterizations of Boolean function classes
Discrete piecewise linear functions
An infinite descending chain of Boolean subfunctions consisting of threshold functions
De Morgan functions and free De Morgan algebras.
The complexity of general-valued CSPs
Generalising unit-refutation completeness and SLUR via nested input resolution
Unsupervised learnable neuron model with nonlinear interaction on dendrites
Multi-objective probabilistically constrained programs with variable risk: models for multi-portfolio financial optimization

Uses Software

JBool
Chaff
Leibniz

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)