Marko Samer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
10
Active years
2003–2009
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | SAT | Encoding Treewidth into SAT. | Marko Samer, Helmut Veith |
| 2008 | AAAI | Backdoor Trees. | Marko Samer, Stefan Szeider |
| 2008 | LPAR | Variable Dependencies of Quantified CSPs. | Marko Samer |
| 2007 | LPAR | Algorithms for Propositional Model Counting. | Marko Samer, Stefan Szeider |
| 2007 | LPAR | On the Notion of Vacuous Truth. | Marko Samer, Helmut Veith |
| 2007 | SAT | Backdoor Sets of Quantified Boolean Formulas. | Marko Samer, Stefan Szeider |
| 2006 | CP | Constraint Satisfaction with Bounded Treewidth Revisited. | Marko Samer, Stefan Szeider |
| 2005 | IJCAI | Hypertree-decomposition via Branch-decomposition. | Marko Samer |
| 2005 | TIME | Deterministic CTL Query Solving. | Marko Samer, Helmut Veith |
| 2005 | WG | Hypertree Decompositions: Structure, Algorithms, and Applications. | Georg Gottlob, Martin Grohe, Nysret Musliu, Marko Samer, Francesco Scarcello |
| 2004 | FMCAD | Parameterized Vacuity. | Marko Samer, Helmut Veith |
| 2004 | ICALP | A Syntactic Characterization of Distributive LTL Queries. | Marko Samer, Helmut Veith |
| 2003 | CSL | Validity of CTL Queries Revisited. | Marko Samer, Helmut Veith |