Marko Samer

Publication Activity (10 Years)

Years Active: 2003-2011
Publications (10 Years): 0

Publications

Marko Samer, Stefan Szeider
Tractable cases of the extended global cardinality constraint. Constraints An Int. J. 16 (1) (2011)
Marko Samer, Stefan Szeider
Constraint satisfaction with bounded treewidth revisited. J. Comput. Syst. Sci. 76 (2) (2010)
Marko Samer, Stefan Szeider
Algorithms for propositional model counting. J. Discrete Algorithms 8 (1) (2010)
Marko Samer, Helmut Veith
On the distributivity of LTL specifications. ACM Trans. Comput. Log. 11 (3) (2010)
Marko Samer, Helmut Veith
Encoding Treewidth into SAT. SAT (2009)
Marko Samer, Stefan Szeider
Backdoor Sets of Quantified Boolean Formulas. J. Autom. Reason. 42 (1) (2009)
Georg Gottlob, Marko Samer
A backtracking-based algorithm for hypertree decomposition. ACM J. Exp. Algorithmics 13 (2008)
Marko Samer, Stefan Szeider
Tractable Cases of the Extended Global Cardinality Constraint. CATS (2008)
Marko Samer, Stefan Szeider
Backdoor Trees. AAAI (2008)
Marko Samer
Variable Dependencies of Quantified CSPs. LPAR (2008)
Artan Dermaku, Tobias Ganzow, Georg Gottlob, Benjamin J. McMahan, Nysret Musliu, Marko Samer
Heuristic Methods for Hypertree Decomposition. MICAI (2008)
Marko Samer, Stefan Szeider
Algorithms for Propositional Model Counting. LPAR (2007)
Marko Samer, Stefan Szeider
Backdoor Sets of Quantified Boolean Formulas. SAT (2007)
Georg Gottlob, Marko Samer
A Backtracking-Based Algorithm for Computing Hypertree-Decompositions CoRR (2007)
Marko Samer, Helmut Veith
On the Notion of Vacuous Truth. LPAR (2007)
Marko Samer, Stefan Szeider
Constraint Satisfaction with Bounded Treewidth Revisited. CP (2006)
Marko Samer, Stefan Szeider
A Fixed-Parameter Algorithm for #SAT with Parameter Incidence Treewidth CoRR (2006)
Marko Samer, Stefan Szeider
Complexity and Applications of Edge-Induced Vertex-Cuts CoRR (2006)
Georg Gottlob, Martin Grohe, Nysret Musliu, Marko Samer, Francesco Scarcello
Hypertree Decompositions: Structure, Algorithms, and Applications. WG (2005)
Marko Samer, Helmut Veith
Deterministic CTL Query Solving. TIME (2005)
Marko Samer
Hypertree-decomposition via Branch-decomposition. IJCAI (2005)
Marko Samer, Helmut Veith
From Temporal Logic Queries to Vacuity Detection. VISSAS (2005)
Marko Samer, Helmut Veith
A Syntactic Characterization of Distributive LTL Queries. ICALP (2004)
Marko Samer, Helmut Veith
Parameterized Vacuity. FMCAD (2004)
Levi Lucio, Marko Samer
Technology of Test-Case Generation. Model-Based Testing of Reactive Systems (2004)
Marko Samer, Helmut Veith
Validity of CTL Queries Revisited. CSL (2003)