Manuel Bodirsky

Publications

1.5K

Citations

H-Index

2004

Active since

Affiliations

Laboratoire d'Informatique de l'École Polytechnique(Current)

Centre National de la Recherche Scientifique

Humboldt-Universität zu Berlin

Technische Universität Dresden

Charles University

Manuel Bodirsky is an author at Laboratoire d'Informatique de l'École Polytechnique specializing in engineering, formal methods, and automated reasoning.

ORCID

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsDiscrete MathematicsComputational ComplexityCombinatorial OptimizationMathematical ProgrammingGraph TheoryFormal Verification

Publications per year

2004–2021

Publications

The complexity of temporal constraint satisfaction problems

Manuel Bodirsky, Jan Kára · Journal of the ACM · 2010 · 147 citations

Mathematical Programming, Constraint Solving, Engineering +14

Constraint Satisfaction with Countable Homogeneous Templates

Manuel Bodirsky, Jaroslav Nešetřil · Journal of Logic and Computation · 2006 · 103 citations

Constraint Solving, Engineering, Constraint Satisfaction +11

Enumeration and limit laws for series–parallel graphs

Manuel Bodirsky, Omer Giménez, Mihyun Kang et al. · European Journal of Combinatorics · 2007 · 87 citations

Network Science, Graph Theory, Engineering +8

The Complexity of Equality Constraint Languages

Manuel Bodirsky, Jan Kára · Theory of Computing Systems · 2007 · 77 citations

Constraint Solving, Engineering, Constraint Satisfaction +7

Essential Convexity and Complexity of Semi-Algebraic Constraints

Manuel Bodirsky, Peter Jönsson, Timo von Oertzen · Logical Methods in Computer Science · 2012 · 72 citations · Full text

Mathematical Programming, Engineering, Line Segment +16

Rows per page

1–5 of 48