Kanj, Iyad

Recent Publications

On the parameterized complexity of finding small unsatisfiable subsets of CNF formulas and CSP instances

2017