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 |