|
Search the dblp DataBase
Marko Samer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marko Samer, Stefan Szeider
Constraint Satisfaction with Bounded Treewidth Revisited. [Citation Graph (0, 0)][DBLP] CP, 2006, pp:499-513 [Conf]
- Marko Samer, Helmut Veith
Validity of CTL Queries Revisited. [Citation Graph (0, 0)][DBLP] CSL, 2003, pp:470-483 [Conf]
- Levi Lucio, Marko Samer
Technology of Test-Case Generation. [Citation Graph (0, 0)][DBLP] Model-Based Testing of Reactive Systems, 2004, pp:323-354 [Conf]
- Marko Samer, Helmut Veith
Parameterized Vacuity. [Citation Graph (0, 0)][DBLP] FMCAD, 2004, pp:322-336 [Conf]
- Marko Samer, Helmut Veith
A Syntactic Characterization of Distributive LTL Queries. [Citation Graph (0, 0)][DBLP] ICALP, 2004, pp:1099-1110 [Conf]
- Marko Samer
Hypertree-decomposition via Branch-decomposition. [Citation Graph (0, 0)][DBLP] IJCAI, 2005, pp:1535-1536 [Conf]
- Marko Samer, Helmut Veith
Deterministic CTL Query Solving. [Citation Graph (0, 0)][DBLP] TIME, 2005, pp:156-165 [Conf]
- Marko Samer, Helmut Veith
From Temporal Logic Queries to Vacuity Detection. [Citation Graph (0, 0)][DBLP] VISSAS, 2005, pp:149-167 [Conf]
- Georg Gottlob, Martin Grohe, Nysret Musliu, Marko Samer, Francesco Scarcello
Hypertree Decompositions: Structure, Algorithms, and Applications. [Citation Graph (0, 0)][DBLP] WG, 2005, pp:1-15 [Conf]
- Marko Samer, Stefan Szeider
Algorithms for Propositional Model Counting. [Citation Graph (0, 0)][DBLP] LPAR, 2007, pp:484-498 [Conf]
- Marko Samer, Helmut Veith
On the Notion of Vacuous Truth. [Citation Graph (0, 0)][DBLP] LPAR, 2007, pp:2-14 [Conf]
- Marko Samer, Stefan Szeider
Backdoor Sets of Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP] SAT, 2007, pp:230-243 [Conf]
- Georg Gottlob, Marko Samer
A Backtracking-Based Algorithm for Computing Hypertree-Decompositions [Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal]
- Marko Samer, Stefan Szeider
A Fixed-Parameter Algorithm for #SAT with Parameter Incidence Treewidth [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal]
- Marko Samer, Stefan Szeider
Complexity and Applications of Edge-Induced Vertex-Cuts [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal]
Backdoor Trees. [Citation Graph (, )][DBLP]
Tractable Cases of the Extended Global Cardinality Constraint. [Citation Graph (, )][DBLP]
Variable Dependencies of Quantified CSPs. [Citation Graph (, )][DBLP]
Heuristic Methods for Hypertree Decomposition. [Citation Graph (, )][DBLP]
Encoding Treewidth into SAT. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|