Proving properties of a minimal covering algorithm
Journal: Filippidis I, Murray RM , (). Proving properties of a minimal covering algorithm . ,
Abstract:Proving properties of a minimal covering algorithm … Control & Dynamical Systems California Institute of Technology … Filippidis and Murray ( Caltech ) Proving properties of a minimal covering algorithm July 18, 2018 1 / 27 … Motivation: Converting binary decision diagrams to minimal …
