73 citations · 80 across the 10 of their papers we have counts for
Showing cs.CCShow all
2 papers · 1 filter
cs.CC2017★ 3 cited
The Complexity of Tree Partitioning
Zhao An, Qilong Feng, Iyad Kanj +1
Given a tree on vertices, and , the Tree Partitioning problem asks if at most edges can be removed from so that the resulting componen…
cs.CC2011
What makes normalized weighted satisfiability tractable
Iyad Kanj, Ge Xia
We consider the weighted antimonotone and the weighted monotone satisfiability problems on normalized circuits of depth at most , abbreviated {\sc wsat} and {\sc w…