Canonical computation without canonical representation.

Alan Mishchenko Robert K. Brayton Ana Petkovska Mathias Soeken Luca G. Amarù Antun Domic

Published in: DAC (2018)

Keyphrases

canonical representation
horn theories
lower bound
efficient computation
database
case study
three dimensional
bayesian networks