4 citations · 20 across the 12 of their papers we have counts for
Showing 2020Show 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…
cs.LO2020★ 2 cited
Constraint Satisfaction Problems over Finite Structures
Libor Barto, William DeMeo, Antoine Mottet
We initiate a systematic study of the computational complexity of the Constraint Satisfaction Problem (CSP) over finite structures that may contain both relations and operations. W…