Peter Mayr

18 papers B 3Journal 14Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
Clonoids between modules.
Int. J. Algebra Comput.
Peter Mayr, Patrick Wynne
2023 B conf
On the Complexity Dichotomy for the Satisfiability of Systems of Term Equations over Finite Algebras.
MFCS
Peter Mayr
2022 J jnl
Small Promise CSPs that reduce to large CSPs.
Log. Methods Comput. Sci.
Alexandr Kazda, Peter Mayr, Dmitriy Zhuk
2021 J jnl
Small PCSPs that reduce to large CSPs.
CoRR
Alexandr Kazda, Peter Mayr, Dmitriy Zhuk
2020 J jnl
Bounded homomorphisms and finitely generated fiber products of lattices.
Int. J. Algebra Comput.
William J. DeMeo, Peter Mayr, Nik Ruskuc
2020 J jnl
Sandwiches for Promise Constraint Satisfaction.
CoRR
Guofeng Deng, Ezzeddine El Sai, Trevor Manders, Peter Mayr, Poramate Nakkirt, Athena Sparks
2019 J jnl
Generating subdirect products.
J. Lond. Math. Soc.
Peter Mayr, Nik Ruskuc
2019 J jnl
The Subpower Membership Problem for Finite Algebras with Cube Terms.
Log. Methods Comput. Sci.
Andrei Bulatov, Peter Mayr, Ágnes Szendrei
2018 J jnl
The Subpower Membership Problem for Finite Algebras with Cube Terms.
CoRR
Andrei Bulatov, Peter Mayr, Ágnes Szendrei
2016 B conf
Quantified Constraint Satisfaction on Monoids.
CSL
Hubie Chen, Peter Mayr
2016 J jnl
The subpower membership problem for semigroups.
CoRR
Andrei Bulatov, Peter Mayr, Markus Steindl
2016 J jnl
The subpower membership problem for semigroups.
Int. J. Algebra Comput.
Andrei Bulatov, Marcin Kozik, Peter Mayr, Markus Steindl
2015 J jnl
Independence of algebras with edge term.
Int. J. Algebra Comput.
Erhard Aichinger, Peter Mayr
2012 J jnl
The Subpower Membership Problem for Mal'cEV Algebras.
Int. J. Algebra Comput.
Peter Mayr
2008 J jnl
Polynomial Clones on Squarefree Groups.
Int. J. Algebra Comput.
Peter Mayr
2005 — conf
A Topological Criterion for Polynomiality.
Algorithmic Algebra and Logic
Günter Landsmann, Peter Mayr, Josef Schicho
2001 J jnl
Algorithms for Finite Near-rings and their N-groups.
J. Symb. Comput.
Franz Binder, Peter Mayr
2000 B conf
Algorithms for near-rings of non-linear transformations.
ISSAC
Franz Binder, Erhard Aichinger, Jürgen Ecker, Christof Nöbauer, Peter Mayr