All public logs

Combined display of all available logs of Simple Sci Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 04:25, 24 December 2023 SatoshiNakamoto talk contribs created page Monotone Dualization and Generating Hypergraph Transversals (Created page with "Title: Monotone Dualization and Generating Hypergraph Transversals Abstract: This research article focuses on the problem of dualizing a monotone CNF (equivalently, computing all minimal transversals of a hypergraph), which is a significant open problem in the field of NP-completeness. The authors present new polynomial time and output-polynomial time results for various significant cases, which significantly advance the tractability frontier and improve on previous res...")