@article{HaanKanjSzeider17,
 author = {de Haan, Ronald and Kanj, Iyad and Szeider, Stefan},
 doi = {10.1145/3091528},
 issn = {1529-3785},
 journal = {ACM Transactions on Computational Logic},
 keywords = {xtract},
 number = {3},
 pages = {Art. 21, 46},
 pdf = {https://doi.org/10.1145/3091528},
 title = {On the parameterized complexity of finding small unsatisfiable
subsets of {CNF} formulas and {CSP} instances},
 volume = {18},
 year = {2017}
}