arXiv 2003-09-07 EN Digital Version of Green`s Theorem and its Application to The Coverage Problem in Formal Verification Appleboim, Eli · Saucan, Emil
arXiv 2002-07-04 EN Synthesis of Low-Power Digital Circuits Derived from Binary Decision Diagrams Popel, Denis V.
arXiv 2002-06-15 EN Sierpinski Gaskets for Logic Functions Representation Popel, Denis V. · Dani, Anita
