59 citations · 220 across the 25 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014
Equivariant algorithms for constraint satisfaction problems over coset templates
Sławomir Lasota
We investigate the Constraint Satisfaction Problem (CSP) over templates with a group structure, and algorithms solving CSP that are equivariant, i.e. invariant under a natural grou…
cs.LO2014★ 47 cited
Automata theory in nominal sets
Mikołaj Bojańczyk, Bartek Klin, Sławomir Lasota
We study languages over infinite alphabets equipped with some structure that can be tested by recognizing automata. We develop a framework for studying such alphabets and the ensui…