Progressive Generation of Canonical Irredundant Sums of Products Using a SAT Solver - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Ana Petkovska' in GoogleThis author has not been identified. Look up 'Alan Mishchenko' in GoogleThis author has not been identified. Look up 'David Novo' in GoogleThis author has not been identified. Look up 'Muhsen Owaida' in GoogleThis author has not been identified. Look up 'Paolo Ienne' in Google

runs on WebDSL