Graham Wrightson | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/graham-wrightson/Graham WrightsonHugo Blox Builder (https://hugoblox.com)en-usSun, 01 Jan 2006 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngGraham Wrightsonhttps://ac.tuwien.ac.at/team/graham-wrightson/On Finding Short Resolution Refutations and Small Unsatisfiable Subsetshttps://ac.tuwien.ac.at/publication/on-finding-short-resolution-refutations-and-small-unsatisfiable-subsets-2/Sun, 01 Jan 2006 00:00:00 +0000https://ac.tuwien.ac.at/publication/on-finding-short-resolution-refutations-and-small-unsatisfiable-subsets-2/On Finding Short Resolution Refutations and Small Unsatisfiable Subsetshttps://ac.tuwien.ac.at/publication/on-finding-short-resolution-refutations-and-small-unsatisfiable-subsets/Thu, 01 Jan 2004 00:00:00 +0000https://ac.tuwien.ac.at/publication/on-finding-short-resolution-refutations-and-small-unsatisfiable-subsets/