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
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
A Semi-Tensor Product Approach to Pseudo-Boolean Functions with Application to Boolean Control Networks
Super-De Morgan functions and free De Morgan quasilattices
Monotone Boolean functions
Analysis of Boolean Functions
Community Structure Inspired Algorithms for SAT and #SAT
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
The Complexity of General-Valued CSPs
Approximately classic judgement aggregation
On Boolean threshold functions with minimum specification number
The give-up problem for blocked regional lists with multi-winners
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
Approximating Boolean Functions with Depth-2 Circuits
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
Lyapunov-Based Stability and Construction of Lyapunov Functions for Boolean Networks
Equational characterizations of Boolean function classes
Discrete piecewise linear functions
An infinite descending chain of Boolean subfunctions consisting of threshold functions
On linear rewriting systems for Boolean logic and some applications to proof theory
De Morgan functions and free De Morgan algebras.
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
A new time-independent reliability importance measure
Totally optimal decision trees for Boolean functions
Counting inequivalent monotone Boolean functions.
Invariance groups of finite functions and orbit equivalence of permutation groups.
Fuzzy relational equations with min-biimplication composition
On existence of ex post Nash consistent representation for effectivity functions
Logical analysis of data: classification with justification
Galois theory for sets of operations closed under permutation, cylindrification, and composition
Super-Boolean functions and free Boolean quasilattices.
Total domishold graphs: a generalization of threshold graphs, with connections to threshold hypergraphs
Generalising and Unifying SLUR and Unit-Refutation Completeness
Exact bounds of the Möbius inverse of monotone set functions
A characterization of nested canalyzing functions with maximum average sensitivity
Title not available (Why is that?)
On exact blockers and anti-blockers, \(\varDelta \)-conjecture, and related problems
Title not available (Why is that?)
On connected Boolean functions
Competitive evaluation of threshold functions in the priced information model
On a class of graphs between threshold and total domishold graphs
Title not available (Why is that?)
On the orthogonalization of arbitrary Boolean formulae
On a class of Boolean functions with matroid property
The Power of Linear Programming for General-Valued CSPs
Efficient minimization of higher order submodular functions using monotonic Boolean functions
The joy of implications, aka pure Horn formulas: mainly a survey
About some UP-based polynomial fragments of SAT
Dualization of Boolean functions using ternary decision diagrams
On implicational bases of closure systems with unique critical sets.
Forms of representation for simple games: sizes, conversions and equivalences
The Power of Sherali--Adams Relaxations for General-Valued CSPs
A Combinatorial Approach for Small and Strong Formulations of Disjunctive Constraints
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
MCP: capturing big data by satisfiability (tool description)
Autark assignments of Horn CNFs
Computing Shapley Effects for Sensitivity Analysis
The Complexity of Valued CSPs
Monotone bargaining is Nash-solvable
The Boolean Determinant Calculus
Compact quadratizations for pseudo-Boolean functions
Representation-compatible power indices
Berge-acyclic multilinear 0-1 optimization problems
Characterization of zigzag De Morgan functions
Disjointed sum of products by a novel technique of orthogonalizing ORing
\(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
Translating between the representations of a ranked convex geometry

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)