Satisfiability of Multivalued Circuits with Lists.

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

Browse the full MFCS paper archive.