dblp.uni-trier.dewww.uni-trier.de

Marko Samer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
21EEMarko Samer, Stefan Szeider: Backdoor Sets of Quantified Boolean Formulas. J. Autom. Reasoning 42(1): 77-97 (2009)
2008
20 Marko Samer, Stefan Szeider: Backdoor Trees. AAAI 2008: 363-368
19EEMarko Samer, Stefan Szeider: Tractable Cases of the Extended Global Cardinality Constraint. CATS 2008: 67-74
18EEMarko Samer: Variable Dependencies of Quantified CSPs. LPAR 2008: 512-527
17EEArtan Dermaku, Tobias Ganzow, Georg Gottlob, Benjamin J. McMahan, Nysret Musliu, Marko Samer: Heuristic Methods for Hypertree Decomposition. MICAI 2008: 1-11
16EEGeorg Gottlob, Marko Samer: A backtracking-based algorithm for hypertree decomposition. ACM Journal of Experimental Algorithmics 13: (2008)
2007
15EEMarko Samer, Helmut Veith: On the Notion of Vacuous Truth. LPAR 2007: 2-14
14EEMarko Samer, Stefan Szeider: Algorithms for Propositional Model Counting. LPAR 2007: 484-498
13EEMarko Samer, Stefan Szeider: Backdoor Sets of Quantified Boolean Formulas. SAT 2007: 230-243
12EEGeorg Gottlob, Marko Samer: A Backtracking-Based Algorithm for Computing Hypertree-Decompositions CoRR abs/cs/0701083: (2007)
2006
11EEMarko Samer, Stefan Szeider: Constraint Satisfaction with Bounded Treewidth Revisited. CP 2006: 499-513
10EEMarko Samer, Stefan Szeider: Complexity and Applications of Edge-Induced Vertex-Cuts CoRR abs/cs/0607109: (2006)
9EEMarko Samer, Stefan Szeider: A Fixed-Parameter Algorithm for #SAT with Parameter Incidence Treewidth CoRR abs/cs/0610174: (2006)
2005
8EEMarko Samer: Hypertree-decomposition via Branch-decomposition. IJCAI 2005: 1535-1536
7EEMarko Samer, Helmut Veith: Deterministic CTL Query Solving. TIME 2005: 156-165
6 Marko Samer, Helmut Veith: From Temporal Logic Queries to Vacuity Detection. VISSAS 2005: 149-167
5EEGeorg Gottlob, Martin Grohe, Nysret Musliu, Marko Samer, Francesco Scarcello: Hypertree Decompositions: Structure, Algorithms, and Applications. WG 2005: 1-15
2004
4EEMarko Samer, Helmut Veith: Parameterized Vacuity. FMCAD 2004: 322-336
3EEMarko Samer, Helmut Veith: A Syntactic Characterization of Distributive LTL Queries. ICALP 2004: 1099-1110
2EELevi Lucio, Marko Samer: Technology of Test-Case Generation. Model-Based Testing of Reactive Systems 2004: 323-354
2003
1EEMarko Samer, Helmut Veith: Validity of CTL Queries Revisited. CSL 2003: 470-483

Coauthor Index

1Artan Dermaku [17]
2Tobias Ganzow [17]
3Georg Gottlob [5] [12] [16] [17]
4Martin Grohe [5]
5Levi Lucio [2]
6Benjamin J. McMahan [17]
7Nysret Musliu [5] [17]
8Francesco Scarcello [5]
9Stefan Szeider [9] [10] [11] [13] [14] [19] [20] [21]
10Helmut Veith [1] [3] [4] [6] [7] [15]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)