A Simple Constructive Bound on Circuit Size Change Under Truth Table Perturbation
Este artículo establece explícitamente que el tamaño óptimo de un circuito cambia como máximo en ante una perturbación de un punto en su tabla de verdad, extendiendo el resultado a distancias de Hamming generales y verificando su optimalidad exhaustiva para mediante un análisis SAT en la base AIG.