Sun Dec 8th through Sat the 14th, 2019 at Vancouver Convention Center
The paper presents the smoothing-gate algorithm, a a near-linear time algorithm for smoothing structured decomposable logical circuits. The only downside is that the experiments are done on hand-crafted circuits only. However, the reviewers fully agree that this is an interesting and useful research direction. I fully agree. A very nice direction. Well developed and presented.