On conversions from CNF to ANF

From MaRDI portal
Publication:2307626

DOI10.1016/j.jsc.2019.07.023zbMath1432.68600OpenAlexW2964724182MaRDI QIDQ2307626

Martin Kreuzer, Jan Horáček

Publication date: 24 March 2020

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2019.07.023




Related Items (1)


Uses Software


Cites Work


This page was built for publication: On conversions from CNF to ANF