Zoltán Ádám Mann, Pál András Papp. Formula partitioning revisited. In Daniel Le Berre, editor, POS-14. Fifth Pragmatics of SAT workshop, a workshop of the SAT 2014 conference, part of FLoC 2014 during the Vienna Summer of Logic, July 13, 2014, Vienna, Austria. Volume 27 of EPiC Series, pages 41-56, EasyChair, 2014. [doi]
Abstract is missing.