Jan Dreier; Robert Ganian; Marlene Gründel; Roohani Sharma; Simon Wietheger | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/jan-dreier-robert-ganian-marlene-grundel-roohani-sharma-simon-wietheger/Jan Dreier; Robert Ganian; Marlene Gründel; Roohani Sharma; Simon WiethegerHugo Blox Builder (https://hugoblox.com)en-usThu, 01 Jan 1970 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngJan Dreier; Robert Ganian; Marlene Gründel; Roohani Sharma; Simon Wiethegerhttps://ac.tuwien.ac.at/team/jan-dreier-robert-ganian-marlene-grundel-roohani-sharma-simon-wietheger/Solving SAT via Treewidth Backdoors in Linear Time: Beyond Sparsityhttps://ac.tuwien.ac.at/publication/solving-sat-via-treewidth-backdoors-in-linear-time-beyond-sparsity/Thu, 01 Jan 1970 00:00:00 +0000https://ac.tuwien.ac.at/publication/solving-sat-via-treewidth-backdoors-in-linear-time-beyond-sparsity/