New theoretical results on the monotone Boolean duality and the monotone Boolean dualization problems
type: Item
instance of: scholarly article
title: New theoretical results on the monotone Boolean duality and the monotone Boolean dualization problems
author: Alice Raffaele
author: Romeo Rizzi
published in: Discrete Applied Mathematics
publication date: 2025-01-06T00:00:00Z
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 06E30
Mathematics Subject Classification ID: 68W05
zbMATH DE Number: 7962101
zbMATH Keywords: monotone Boolean function
zbMATH Keywords: hypergraph transversal
zbMATH Keywords: clutter and blocker
zbMATH Keywords: full cover
zbMATH Keywords: quasi-polynomial time
zbMATH Keywords: dualization
MaRDI profile type: Publication
cites work: A pivoting algorithm for convex hulls and vertex enumeration of arrangements and polyhedra
cites work: Q3993087
cites work: Complexity of identification and dualization of positive Boolean functions
cites work: Efficiently enumerating hitting sets of hypergraphs arising in data profiling
cites work: Dual-Bounded Generating Problems: All Minimal Integer Solutions for a Monotone System of Linear Inequalities
cites work: Q3622253
cites work: Dual-bounded generating problems: Partial and multiple transversals of a hypergraph
cites work: A Fast and Simple Parallel Algorithm for the Monotone Duality Problem
cites work: The vertex set of a \(0/1\)-polytope is strongly \(\mathcal P\)-enumerable
cites work: Bottleneck extrema
cites work: Identifying the Minimal Transversals of a Hypergraph and Related Problems
cites work: New Results on Monotone Dualization and Generating Hypergraph Transversals
cites work: Computational aspects of monotone dualization: a brief survey
cites work: On the complexity of monotone dualization and generating minimal hypergraph transversals
cites work: On the Complexity of Dualization of Monotone Disjunctive Normal Forms
cites work: Double description method revisited
cites work: Advances in Artificial Intelligence
cites work: Experimental comparison of the two Fredman-Khachiyan-algorithms
cites work: Monotone Boolean dualization is in co-NP\([\log^{2}n]\).
cites work: An efficient implementation of a quasi-polynomial algorithm for generating hypergraph transversals and its application in joint generation
cites work: On the Complexity of Some Enumeration Problems for Matroids
cites work: A Solution of the Shannon Switching Game
cites work: On the width—length inequality
cites work: Q5817857
cites work: The complexity of facets (and some facets of complexity)
cites work: Q5140714
cites work: The Forbidden Minors of Binary Clutters
DOI: 10.1016/J.DAM.2024.10.019
description: scientific article; zbMATH DE number 7962101