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