Bi-Decomposing Large Boolean Functions via Interpolation and Satisfiability Solving

Ruei-Rung LeeJie-Hong R. JiangWei-Lun HungJIE-HONG JIANG2018-09-102018-09-102008-06http://scholars.lib.ntu.edu.tw/handle/123456789/343028Bi-Decomposing Large Boolean Functions via Interpolation and Satisfiability Solvingconference paper10.1109/DAC.2008.45558962-s2.0-51549096990