Marko Samer | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/marko-samer/Marko SamerHugo Blox Builder (https://hugoblox.com)en-usFri, 01 Jan 2021 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngMarko Samerhttps://ac.tuwien.ac.at/team/marko-samer/Fixed-Parameter Tractabilityhttps://ac.tuwien.ac.at/publication/fixed-parameter-tractability-2/Fri, 01 Jan 2021 00:00:00 +0000https://ac.tuwien.ac.at/publication/fixed-parameter-tractability-2/Fixed-Parameter Tractabilityhttps://ac.tuwien.ac.at/publication/fixed-parameter-tractability/Fri, 01 Jan 2021 00:00:00 +0000https://ac.tuwien.ac.at/publication/fixed-parameter-tractability/Tractable cases of the extended global cardinality constrainthttps://ac.tuwien.ac.at/publication/tractable-cases-of-the-extended-global-cardinality-constraint-2/Sat, 01 Jan 2011 00:00:00 +0000https://ac.tuwien.ac.at/publication/tractable-cases-of-the-extended-global-cardinality-constraint-2/Algorithms for propositional model countinghttps://ac.tuwien.ac.at/publication/algorithms-for-propositional-model-counting-2/Fri, 01 Jan 2010 00:00:00 +0000https://ac.tuwien.ac.at/publication/algorithms-for-propositional-model-counting-2/Constraint satisfaction with bounded treewidth revisitedhttps://ac.tuwien.ac.at/publication/constraint-satisfaction-with-bounded-treewidth-revisited-2/Fri, 01 Jan 2010 00:00:00 +0000https://ac.tuwien.ac.at/publication/constraint-satisfaction-with-bounded-treewidth-revisited-2/Backdoor sets of quantified Boolean formulashttps://ac.tuwien.ac.at/publication/backdoor-sets-of-quantified-boolean-formulas-2/Thu, 01 Jan 2009 00:00:00 +0000https://ac.tuwien.ac.at/publication/backdoor-sets-of-quantified-boolean-formulas-2/Backdoor Treeshttps://ac.tuwien.ac.at/publication/backdoor-trees/Tue, 01 Jan 2008 00:00:00 +0000https://ac.tuwien.ac.at/publication/backdoor-trees/Tractable Cases of the Extended Global Cardinality Constrainthttps://ac.tuwien.ac.at/publication/tractable-cases-of-the-extended-global-cardinality-constraint/Tue, 01 Jan 2008 00:00:00 +0000https://ac.tuwien.ac.at/publication/tractable-cases-of-the-extended-global-cardinality-constraint/Algorithms for Propositional Model Countinghttps://ac.tuwien.ac.at/publication/algorithms-for-propositional-model-counting/Mon, 01 Jan 2007 00:00:00 +0000https://ac.tuwien.ac.at/publication/algorithms-for-propositional-model-counting/Backdoor Sets of Quantified Boolean Formulashttps://ac.tuwien.ac.at/publication/backdoor-sets-of-quantified-boolean-formulas/Mon, 01 Jan 2007 00:00:00 +0000https://ac.tuwien.ac.at/publication/backdoor-sets-of-quantified-boolean-formulas/Constraint satisfaction with bounded treewidth revisitedhttps://ac.tuwien.ac.at/publication/constraint-satisfaction-with-bounded-treewidth-revisited/Sun, 01 Jan 2006 00:00:00 +0000https://ac.tuwien.ac.at/publication/constraint-satisfaction-with-bounded-treewidth-revisited/