Satisfiability of Circuits and Equations over Finite Malcev Algebras.

Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski

Browse the full STACS paper archive.