18 citations · 34 across the 4 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
Sensitive instances of the Constraint Satisfaction Problem
Libor Barto, Marcin Kozik, Johnson Tan +1
We investigate the impact of modifying the constraining relations of a Constraint Satisfaction Problem (CSP) instance, with a fixed template, on the set of solutions of the instanc…