External Links

    Journal: Electronic Colloquium on Computational Complexity (ECCC)

    Volume 10, Issue 002

    0 -- 0Stefan Szeider. Minimal unsatisfiable formulas with bounded clause-variable difference are fixed-parameter tractable
    runs on