Concepedia

Marko Samer

MS

8

Publications

389

Citations

8

H-Index

2005

Active since

Affiliations

Durham University(Current)

Technical University of Darmstadt

Marko Samer is an author at Durham University specializing in engineering, computer science, and discrete mathematics.

Top concepts

EngineeringComputer ScienceDiscrete MathematicsFormal MethodsAutomated ReasoningComputational ComplexityCombinatorial OptimizationData ScienceSatisfiabilityComputer Engineering

Publications per year

2005–2009

8

Publications

8

Algorithms for propositional model counting

Marko Samer, Stefan Szeider · Journal of Discrete Algorithms · 2009 · 121 citations

Propositional Model Counting, Engineering, Automated Reasoning +6

Constraint satisfaction with bounded treewidth revisited

Marko Samer, Stefan Szeider · Journal of Computer and System Sciences · 2009 · 81 citations

Constraint Solving, Engineering, Constraint Satisfaction +5

Backdoor Sets of Quantified Boolean Formulas

Marko Samer, Stefan Szeider · Journal of Automated Reasoning · 2008 · 69 citations

Circuit Complexity, Backdoor Sets, Engineering +5

A backtracking-based algorithm for hypertree decomposition

Georg Gottlob, Marko Samer · ACM Journal of Experimental Algorithmics · 2008 · 42 citations · Full text

Mathematical Programming, Engineering, Algorithmic Library +19

Tractable cases of the extended global cardinality constraint

Marko Samer, Stefan Szeider · Constraints · 2009 · 31 citations

Mathematical Programming, Engineering, Extremal Set Theory +5

Rows per page

1–5 of 8