On Conversions from CNF to ANF.

Jan Horcek, Martin Kreuzer

Browse the full ISSAC paper archive.