Kanj, Iyad

Recent Publications

On the parameterized complexity of finding small unsatisfiable subsets of CNF formulas and CSP instances
De Haan, Ronald, Kanj, Iyad, Stefan Szeider
ACM Transactions on Computational Logic, volume 18, number 3, pages Art. 21, 46, 2017.
bib DOI