Oliver Kullmann | AC Group | TU Wienhttps://ac.notready.eu/author/oliver-kullmann/Oliver KullmannHugo Blox Builder (https://hugoblox.com)en-usTue, 01 Jan 2002 00:00:00 +0000https://ac.notready.eu/media/logo_hu10234977157890132473.pngOliver Kullmannhttps://ac.notready.eu/author/oliver-kullmann/Polynomial-time recognition of minimal unsatisfiable formulas with fixed clause-variable differencehttps://ac.notready.eu/publication/polynomial-time-recognition-of-minimal-unsatisfiable-formulas-with-fixed-clause-variable-difference/Tue, 01 Jan 2002 00:00:00 +0000https://ac.notready.eu/publication/polynomial-time-recognition-of-minimal-unsatisfiable-formulas-with-fixed-clause-variable-difference/