Backdoors to Satisfiability | AC Group | TU Wienhttps://ac.tuwien.ac.at/tag/backdoors-to-satisfiability/Backdoors to SatisfiabilityHugo Blox Builder (https://hugoblox.com)en-usSun, 01 Jan 2017 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngBackdoors to Satisfiabilityhttps://ac.tuwien.ac.at/tag/backdoors-to-satisfiability/Linear-Time Parameterized Algorithms via Skew-Symmetric Multicutshttps://ac.tuwien.ac.at/publication/linear-time-parameterized-algorithms-via-skew-symmetric-multicuts-2/Sun, 01 Jan 2017 00:00:00 +0000https://ac.tuwien.ac.at/publication/linear-time-parameterized-algorithms-via-skew-symmetric-multicuts-2/