Satisfiability Problems for Finite Groups.

Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski, Armin Wei

Browse the full ICALP paper archive.