Michael Pinsker

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 37

Top Topics

Constraint Propagation

Tractable Subclasses

Constraint Satisfaction

Top Venues

SIAM J. Comput.

Publications

Roman Feller, Michael Pinsker
An algebraic proof of the graph orientation problem dichotomy for forbidden tournaments. CoRR (2024)
Antoine Mottet, Tomás Nagy, Michael Pinsker
An Order out of Nowhere: A New Algorithm for Infinite-Domain {CSP}s. ICALP (2024)
Tomás Nagy, Michael Pinsker
Strict width for Constraint Satisfaction Problems over homogeneous strucures of finite duality. CoRR (2024)
Libor Barto, Bertalan Bodor, Marcin Kozik, Antoine Mottet, Michael Pinsker
Symmetries of structures that fail to interpret something finite. CoRR (2023)
Libor Barto, Bertalan Bodor, Marcin Kozik, Antoine Mottet, Michael Pinsker
Symmetries of Graphs and Structures that Fail to Interpret a Finite Thing. LICS (2023)
Antoine Mottet, Michael Pinsker, Tomás Nagy
An order out of nowhere: a new algorithm for infinite-domain CSPs. CoRR (2023)
Pierre Gillibert, Julius Jonusas, Michael Kompatscher, Antoine Mottet, Michael Pinsker
When Symmetries Are Not Enough: A Hierarchy of Hard Constraint Satisfaction Problems. SIAM J. Comput. 51 (2) (2022)
Antoine Mottet, Michael Pinsker
Smooth approximations and CSPs over finitely bounded homogeneous structures. LICS (2022)
Michael Pinsker
Current Challenges in Infinite-Domain Constraint Satisfaction: Dilemmas of the Infinite Sheep. CoRR (2022)
Michael Pinsker
Current Challenges in Infinite-Domain Constraint Satisfaction: Dilemmas of the Infinite Sheep. ISMVL (2022)
Libor Barto, Michael Kompatscher, Miroslav Olsák, Trung Van Pham, Michael Pinsker
Erratum: Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures. J. Math. Log. 21 (2) (2021)
Michael Pinsker, Manuel Bodirsky
Canonical functions: a proof via topological dynamics. Contributions Discret. Math. 16 (2) (2021)
Antoine Mottet, Michael Pinsker
Cores over Ramsey Structures. J. Symb. Log. 86 (1) (2021)
Manuel Bodirsky, Michael Pinsker, András Pongrácz
Projective clone Homomorphisms. J. Symb. Log. 86 (1) (2021)
Antoine Mottet, Tomás Nagy, Michael Pinsker, Michal Wrona
Smooth Approximations and Relational Width Collapses. CoRR (2021)
Antoine Mottet, Tomás Nagy, Michael Pinsker, Michal Wrona
Smooth Approximations and Relational Width Collapses. ICALP (2021)
Antoine Mottet, Michael Pinsker
Cores over Ramsey structures. CoRR (2020)
Libor Barto, Michael Pinsker
Topology Is Irrelevant (In a Dichotomy Conjecture for Infinite Domain Constraint Satisfaction Problems). SIAM J. Comput. 49 (2) (2020)
Antoine Mottet, Michael Pinsker
Smooth approximations and CSPs over finitely bounded homogeneous structures. CoRR (2020)
Pierre Gillibert, Julius Jonusas, Michael Kompatscher, Antoine Mottet, Michael Pinsker
Hrushovski's Encoding and ω-Categorical CSP Monsters. ICALP (2020)
Manuel Bodirsky, Antoine Mottet, Miroslav Olsák, Jakub Oprsal, Michael Pinsker, Ross Willard
ω-categorical structures avoiding height 1 identities. CoRR (2020)
Pierre Gillibert, Julius Jonusas, Michael Kompatscher, Antoine Mottet, Michael Pinsker
When symmetries are not enough: a hierarchy of hard Constraint Satisfaction Problems. CoRR (2020)
Manuel Bodirsky, Barnaby Martin, Michael Pinsker, András Pongrácz
Constraint Satisfaction Problems for Reducts of Homogeneous Graphs. SIAM J. Comput. 48 (4) (2019)
Manuel Bodirsky, Antoine Mottet, Miroslav Olsák, Jakub Oprsal, Michael Pinsker, Ross Willard
Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems). LICS (2019)
Libor Barto, Michael Pinsker
Topology is irrelevant (in a dichotomy conjecture for infinite domain constraint satisfaction problems). CoRR (2019)
Libor Barto, Michael Kompatscher, Miroslav Olsák, Van Trung Pham, Michael Pinsker
Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures. J. Math. Log. 19 (2) (2019)
Manuel Bodirsky, Antoine Mottet, Miroslav Olsák, Jakub Oprsal, Michael Pinsker, Ross Willard
Topology is relevant (in the infinite-domain dichotomy conjecture for constraint satisfaction problems). CoRR (2019)
Manuel Bodirsky, David Bradley-Williams, Michael Pinsker, András Pongrácz
The universal homogeneous binary tree. J. Log. Comput. 28 (1) (2018)
Pierre Gillibert, Julius Jonusas, Michael Pinsker
Pseudo-loop conditions. CoRR (2018)
Libor Barto, Michael Kompatscher, Miroslav Olsák, Trung Van Pham, Michael Pinsker
The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems. LICS (2017)
Manuel Bodirsky, Barnaby Martin, Michael Pinsker, András Pongrácz
Constraint satisfaction problems for reducts of homogeneous graphs. CoRR (2016)
Libor Barto, Michael Pinsker
The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems. CoRR (2016)
Manuel Bodirsky, Michael Pinsker
Canonical Functions: a proof via topological dynamics. CoRR (2016)
Libor Barto, Michael Kompatscher, Miroslav Olsák, Michael Pinsker, Van Trung Pham
Equations in oligomorphic clones and the Constraint Satisfaction Problem for $ω$-categorical structures. CoRR (2016)
Manuel Bodirsky, Barnaby Martin, Michael Pinsker, András Pongrácz
Constraint Satisfaction Problems for Reducts of Homogeneous Graphs. ICALP (2016)
Manuel Bodirsky, Víctor Dalmau, Barnaby Martin, Antoine Mottet, Michael Pinsker
Distance constraint satisfaction problems. Inf. Comput. 247 (2016)
Libor Barto, Michael Pinsker
The algebraic dichotomy conjecture for infinite domain Constraint Satisfaction Problems. LICS (2016)
Manuel Bodirsky, Michael Pinsker
Schaefer's Theorem for Graphs. J. ACM 62 (3) (2015)
Michael Pinsker
Algebraic and model theoretic methods in constraint satisfaction. CoRR (2015)
Libor Barto, Jakub Oprsal, Michael Pinsker
The wonderland of reflections. CoRR (2015)
Julie Linman, Michael Pinsker
Permutations on the Random Permutation. Electron. J. Comb. 22 (2) (2015)
Manuel Bodirsky, David Bradley-Williams, Michael Pinsker, András Pongrácz
The universal homogeneous binary tree. CoRR (2014)
Manuel Bodirsky, Michael Pinsker, András Pongrácz
Projective clone homomorphisms. CoRR (2014)
Manuel Bodirsky, Michael Pinsker, András Pongrácz
Reconstructing the topology of clones. CoRR (2013)
Martin Goldstern, Michael Pinsker, Saharon Shelah
A Closed Algebra with a Non-Borel Clone and an Ideal with a Borel Clone. Int. J. Algebra Comput. 23 (5) (2013)
Manuel Bodirsky, Michael Pinsker, Todor Tsankov
Decidability of definability. J. Symb. Log. 78 (4) (2013)
Péter Pál Pach, Michael Pinsker, András Pongrácz, Csaba A. Szabó
A new operation on partially ordered sets. J. Comb. Theory, Ser. A 120 (7) (2013)
Manuel Bodirsky, Michael Pinsker
Topological Birkhoff CoRR (2012)
Manuel Bodirsky, Michael Pinsker, Todor Tsankov
Decidability of Definability. LICS (2011)
Manuel Bodirsky, Michael Pinsker
Schaefer's theorem for graphs. STOC (2011)
Manuel Bodirsky, Michael Pinsker
Reducts of Ramsey structures CoRR (2011)
Manuel Bodirsky, Hubie Chen, Michael Pinsker
The reducts of equality up to primitive positive interdefinability. J. Symb. Log. 75 (4) (2010)
Manuel Bodirsky, Víctor Dalmau, Barnaby Martin, Michael Pinsker
Distance Constraint Satisfaction Problems CoRR (2010)
Manuel Bodirsky, Michael Pinsker, Todor Tsankov
Decidability of definability CoRR (2010)
Michael Pinsker
More Sublattices of the Lattice of Local Clones. Order 27 (3) (2010)
Manuel Bodirsky, Víctor Dalmau, Barnaby Martin, Michael Pinsker
Distance Constraint Satisfaction Problems. MFCS (2010)
Manuel Bodirsky, Michael Pinsker
Schaefer's theorem for graphs CoRR (2010)
Manuel Bodirsky, Michael Pinsker
Reducts of Ramsey Structures. AMS-ASL Joint Special Session (2009)
Mathias Beiglböck, Martin Goldstern, Lutz Heindorf, Michael Pinsker
Clones from Ideals. Int. J. Algebra Comput. 19 (3) (2009)
Michael Pinsker
Monoidal intervals of clones on infinite sets. Discret. Math. 308 (1) (2008)
Hajime Machida, Michael Pinsker
Polynomials as Generators of Minimal Clones. ISMVL (2007)
Hajime Machida, Michael Pinsker
Some Polynomials Generating Minimal Clones. J. Multiple Valued Log. Soft Comput. 13 (4-6) (2007)
Hajime Machida, Michael Pinsker
Some Observations on Minimal Clones. ISMVL (2006)