
Computational aspects of monotone dualization: A brief survey
Keywords: شمارش ترکیبی; Dualization; Monotone Boolean functions; Hypergraphs; Transversals; Hitting sets; Independent sets; Set coverings; Self-duality; Output-polynomial algorithms; Polynomial-total time; Quasi-polynomial time; Combinatorial enumeration; Limited nondeterminism