Satisfiability in multi-valued circuits.

Pawel M. Idziak, Jacek Krzaczkowski

Browse the full LICS paper archive.