Neha Lodha | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/neha-lodha/Neha LodhaHugo Blox Builder (https://hugoblox.com)en-usTue, 01 Jan 2019 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngNeha Lodhahttps://ac.tuwien.ac.at/team/neha-lodha/A SAT Approach to Branchwidthhttps://ac.tuwien.ac.at/publication/a-sat-approach-to-branchwidth-3/Tue, 01 Jan 2019 00:00:00 +0000https://ac.tuwien.ac.at/publication/a-sat-approach-to-branchwidth-3/A SAT Approach to Branchwidthhttps://ac.tuwien.ac.at/publication/a-sat-approach-to-branchwidth-4/Tue, 01 Jan 2019 00:00:00 +0000https://ac.tuwien.ac.at/publication/a-sat-approach-to-branchwidth-4/SAT-Encodings for Treecut Width and Treedepthhttps://ac.tuwien.ac.at/publication/sat-encodings-for-treecut-width-and-treedepth-2/Tue, 01 Jan 2019 00:00:00 +0000https://ac.tuwien.ac.at/publication/sat-encodings-for-treecut-width-and-treedepth-2/SAT-Encodings for Treecut Width and Treedepthhttps://ac.tuwien.ac.at/publication/sat-encodings-for-treecut-width-and-treedepth/Tue, 01 Jan 2019 00:00:00 +0000https://ac.tuwien.ac.at/publication/sat-encodings-for-treecut-width-and-treedepth/An SMT Approach to Fractional Hypertree Widthhttps://ac.tuwien.ac.at/publication/an-smt-approach-to-fractional-hypertree-width-2/Mon, 01 Jan 2018 00:00:00 +0000https://ac.tuwien.ac.at/publication/an-smt-approach-to-fractional-hypertree-width-2/An SMT Approach to Fractional Hypertree Widthhttps://ac.tuwien.ac.at/publication/an-smt-approach-to-fractional-hypertree-width/Mon, 01 Jan 2018 00:00:00 +0000https://ac.tuwien.ac.at/publication/an-smt-approach-to-fractional-hypertree-width/A SAT Approach to Branchwidthhttps://ac.tuwien.ac.at/publication/a-sat-approach-to-branchwidth-2/Sun, 01 Jan 2017 00:00:00 +0000https://ac.tuwien.ac.at/publication/a-sat-approach-to-branchwidth-2/SAT-Based Local Improvement for Finding Tree Decompositions of Small Widthhttps://ac.tuwien.ac.at/publication/sat-based-local-improvement-for-finding-tree-decompositions-of-small-width-2/Sun, 01 Jan 2017 00:00:00 +0000https://ac.tuwien.ac.at/publication/sat-based-local-improvement-for-finding-tree-decompositions-of-small-width-2/SAT-Based Local Improvement for Finding Tree Decompositions of Small Widthhttps://ac.tuwien.ac.at/publication/sat-based-local-improvement-for-finding-tree-decompositions-of-small-width/Sun, 01 Jan 2017 00:00:00 +0000https://ac.tuwien.ac.at/publication/sat-based-local-improvement-for-finding-tree-decompositions-of-small-width/SAT-Encodings for Special Treewidth and Pathwidthhttps://ac.tuwien.ac.at/publication/sat-encodings-for-special-treewidth-and-pathwidth-2/Sun, 01 Jan 2017 00:00:00 +0000https://ac.tuwien.ac.at/publication/sat-encodings-for-special-treewidth-and-pathwidth-2/SAT-Encodings for Special Treewidth and Pathwidthhttps://ac.tuwien.ac.at/publication/sat-encodings-for-special-treewidth-and-pathwidth/Sun, 01 Jan 2017 00:00:00 +0000https://ac.tuwien.ac.at/publication/sat-encodings-for-special-treewidth-and-pathwidth/A SAT Approach to Branchwidthhttps://ac.tuwien.ac.at/publication/a-sat-approach-to-branchwidth/Fri, 01 Jan 2016 00:00:00 +0000https://ac.tuwien.ac.at/publication/a-sat-approach-to-branchwidth/Positive and Negative Results for Parameterized Compilabilityhttps://ac.tuwien.ac.at/publication/positive-and-negative-results-for-parameterized-compilability/Fri, 01 Jan 2016 00:00:00 +0000https://ac.tuwien.ac.at/publication/positive-and-negative-results-for-parameterized-compilability/