Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver

Ana Petkovska, Alan Mishchenko, David Novo, Muhsen Owaida, Paolo Ienne. Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver. In AndrĂ© InĂ¡cio Reis, Rolf Drechsler, editors, Advanced Logic Synthesis. pages 169-188, Springer, 2018. [doi]

Abstract

Abstract is missing.