scientific article; zbMATH DE number 1931696

From MaRDI portal
Publication:4708957

zbMath1013.68143MaRDI QIDQ4708957

Georg Gottlob, Thomas Eiter

Publication date: 20 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2424/24240549.htm

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



Related Items (31)

Parameterized enumeration, transversals, and imperfect phylogeny reconstructionThe adjacency matrix of a graph as a data table: a geometric perspectiveBlocker size via matching minorsMinimum implicational basis for \(\wedge\)-semidistributive latticesOn the fixed-parameter tractability of the equivalence test of monotone normal formsSimple graphs in granular computingLogic-based argumentation with existential rulesImmune sets in monotone infection rules. Characterization and complexityEnumerating minimal dominating sets in chordal bipartite graphsPersistent hyperdigraph homology and persistent hyperdigraph LaplaciansOn the complexity of enumerating pseudo-intentsOutput-polynomial enumeration on graphs of bounded (local) linear MIM-widthCounting minimal transversals of \(\beta\)-acyclic hypergraphsSome Complexity Results about Essential Closed SetsAchieving New Upper Bounds for the Hypergraph Duality Problem through LogicAn incremental polynomial time algorithm to enumerate all minimal edge dominating setsComputational aspects of monotone dualization: a brief surveySelf-duality of bounded monotone Boolean functions and related problemsHow to Apply SAT-Solving for the Equivalence Test of Monotone Normal FormsAlgorithms for computing minimal unsatisfiable subsets of constraintsA study on monotone self-dual Boolean functionsOn the fractional chromatic number of monotone self-dual Boolean functionsJoin on Closure Systems Using Direct Implicational Basis RepresentationEnumeration of Minimal Dominating Sets and VariantsEnumerating Minimal Dominating Sets in Triangle-Free GraphsResolution based algorithms for the transversal hypergraph generation problemCombinatorial optimization in system configuration designLower bounds for three algorithms for transversal hypergraph generationZeon and idem-Clifford formulations of hypergraph problemsExact and Approximate Minimal Pattern MiningAn average study of hypergraphs and their minimal transversals




This page was built for publication: