most citedPolynomial-time Tests for Difference Terms in Idempotent Varieties

3 citations · 3 across the 1 of their papers we have counts for

collaborators
Showing math.LOShow all

2 papers · 1 filter

math.LO2020★ 3 cited

Polynomial-time Tests for Difference Terms in Idempotent Varieties

William DeMeo, Ralph Freese, Matthew Valeriote

We consider the following practical question: given a finite algebra A in a finite language, can we efficiently decide whether the variety generated by A has a difference term? We…

math.LO2019

Deciding the existence of minority terms

Alexandr Kazda, Jakub Opršal, Matt Valeriote +1

This paper investigates the computational complexity of deciding if a given finite idempotent algebra has a ternary term operation that satisfies the minority equations $m(y,x,…