Compile | AC Group | TU Wienhttps://ac.tuwien.ac.at/tag/compile/CompileHugo Blox Builder (https://hugoblox.com)en-usSun, 01 Jan 2017 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngCompilehttps://ac.tuwien.ac.at/tag/compile/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/Model Checking Existential Logic on Partially Ordered Setshttps://ac.tuwien.ac.at/publication/model-checking-existential-logic-on-partially-ordered-sets-2/Fri, 01 Jan 2016 00:00:00 +0000https://ac.tuwien.ac.at/publication/model-checking-existential-logic-on-partially-ordered-sets-2/