Generalized kk-ary tanglegrams on level graphs: A satisfiability-based approach and its evaluation
Keywords: گراف نقاشی; Satisfiability; Mixed Horn formula; 2-CNF; Level graph; Planar embedding; Tanglegram; Crossing minimization; Graph drawing; Computational biology; Combinatorial optimization