Detecting support-reducing bound sets using two-cofactor symmetries.

Jin S. Zhang, Malgorzata Chrzanowska-Jeske, Alan Mishchenko, Jerry R. Burch

Browse the full ASPDAC paper archive.