Concepedia

Michael Pinsker

MP

23

Publications

640

Citations

15

H-Index

2004

Active since

Affiliations

TU Wien(Current)

Laboratoire d'Informatique de l'École Polytechnique

Charles University

Centre National de la Recherche Scientifique

Université Paris Cité

Michael Pinsker is an author at TU Wien specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsAutomated ReasoningDiscrete MathematicsComputer ScienceCombinatorial OptimizationComputational ComplexityProbabilityGraph TheorySatisfiability

Publications per year

2004–2021

23

Publications

23

The wonderland of reflections

Libor Barto, Jakub Opršal, Michael Pinsker · Israel Journal of Mathematics · 2017 · 91 citations

Poetics, Literary Study, Literary Criticism +1

The reducts of equality up to primitive positive interdefinability

Manuel Bodirsky, Hubie Chen, Michael Pinsker · Journal of Symbolic Logic · 2010 · 51 citations · Full text

Algebraic Logic, Engineering, Domain Theory +10

Decidability of Definability

Manuel Bodirsky, Michael Pinsker, Todor Tsankov · Journal of Symbolic Logic · 2013 · 50 citations

Engineering, Universal Quantification, Infinite Structure γ +12

Schaefer's Theorem for Graphs

Manuel Bodirsky, Michael Pinsker · Journal of the ACM · 2015 · 49 citations

Boolean Logic, Engineering, Graph Theory +15

The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems

Libor Barto, Michael Pinsker · 2016 · 45 citations

Mathematical Programming, Constraint Solving, Engineering +15

Rows per page

1–5 of 23