Team
Research
Courses
News
Jobs
Contact
Internal
Light
Dark
Automatic
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.
Cite
DOI
Cite
×