scientific article; zbMATH DE number 7286679

DOI10.4230/LIPIcs.SEA.2018.6zbMath1493.68393MaRDI QIDQ5140714

Leonid Chindelevitch, Tamon Stephen, Nafiseh Sedaghat

Publication date: 16 December 2020

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

dualizationmonotone Boolean functionsmetabolic networksalgorithm engineeringFredman-Khachiyan algorithm

Mathematics Subject Classification ID

Analysis of algorithms (68W40) Nonnumerical algorithms (68W05) Boolean functions (06E30) Systems biology, networks (92C42)

Related Items (2)

FK-B ⋮ On Quantifying Literals in Boolean Logic and its Applications to Explainable AI

Uses Software

• JBool
• GitHub
• efmtool
• cl-jointgen
• FluxModeCalculator

Cites Work

• Unnamed Item
• Computational aspects of monotone dualization: a brief survey
• On the complexity of monotone dualization and generating minimal hypergraph transversals
• On generating the irredundant conjunctive and disjunctive normal forms of monotone Boolean functions
• Counting inequivalent monotone Boolean functions.
• The Minimal Hitting Set Generation Problem: Algorithms and Computation
• How to Apply SAT-Solving for the Equivalence Test of Monotone Normal Forms
• A Fast and Simple Parallel Algorithm for the Monotone Duality Problem
• On the Complexity of Dualization of Monotone Disjunctive Normal Forms
• Experimental comparison of the two Fredman-Khachiyan-algorithms

This page was built for publication: