Bi-decomposing large Boolean functions via interpolation and satisfiability solving.

Ruei-Rung Lee, Jie-Hong Roland Jiang, Wei-Lun Hung

Browse the full DAC paper archive.