The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marko Samer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marko Samer, Stefan Szeider
    Constraint Satisfaction with Bounded Treewidth Revisited. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:499-513 [Conf]
  2. Marko Samer, Helmut Veith
    Validity of CTL Queries Revisited. [Citation Graph (0, 0)][DBLP]
    CSL, 2003, pp:470-483 [Conf]
  3. 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]
  4. Marko Samer, Helmut Veith
    Parameterized Vacuity. [Citation Graph (0, 0)][DBLP]
    FMCAD, 2004, pp:322-336 [Conf]
  5. Marko Samer, Helmut Veith
    A Syntactic Characterization of Distributive LTL Queries. [Citation Graph (0, 0)][DBLP]
    ICALP, 2004, pp:1099-1110 [Conf]
  6. Marko Samer
    Hypertree-decomposition via Branch-decomposition. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:1535-1536 [Conf]
  7. Marko Samer, Helmut Veith
    Deterministic CTL Query Solving. [Citation Graph (0, 0)][DBLP]
    TIME, 2005, pp:156-165 [Conf]
  8. Marko Samer, Helmut Veith
    From Temporal Logic Queries to Vacuity Detection. [Citation Graph (0, 0)][DBLP]
    VISSAS, 2005, pp:149-167 [Conf]
  9. 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]
  10. Marko Samer, Stefan Szeider
    Algorithms for Propositional Model Counting. [Citation Graph (0, 0)][DBLP]
    LPAR, 2007, pp:484-498 [Conf]
  11. Marko Samer, Helmut Veith
    On the Notion of Vacuous Truth. [Citation Graph (0, 0)][DBLP]
    LPAR, 2007, pp:2-14 [Conf]
  12. Marko Samer, Stefan Szeider
    Backdoor Sets of Quantified Boolean Formulas. [Citation Graph (0, 0)][DBLP]
    SAT, 2007, pp:230-243 [Conf]
  13. Georg Gottlob, Marko Samer
    A Backtracking-Based Algorithm for Computing Hypertree-Decompositions [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  14. 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]
  15. Marko Samer, Stefan Szeider
    Complexity and Applications of Edge-Induced Vertex-Cuts [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  16. Backdoor Trees. [Citation Graph (, )][DBLP]


  17. Tractable Cases of the Extended Global Cardinality Constraint. [Citation Graph (, )][DBLP]


  18. Variable Dependencies of Quantified CSPs. [Citation Graph (, )][DBLP]


  19. Heuristic Methods for Hypertree Decomposition. [Citation Graph (, )][DBLP]


  20. Encoding Treewidth into SAT. [Citation Graph (, )][DBLP]


Search in 0.036secs, Finished in 0.037secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002