@inproceedings{DeHaanKanjSzeider14,
 author = {Ronald de Haan and
Iyad A. Kanj and
Stefan Szeider},
 booktitle = {26th {IEEE} International Conference on Tools with
Artificial Intelligence, {ICTAI} 2014, Limassol,
Cyprus, November 10-12, 2014},
 doi = {10.1109/ICTAI.2014.72},
 pages = {429--436},
 publisher = {{IEEE}},
 title = {Small Unsatisfiable Subsets in Constraint Satisfaction},
 url = {http://www.kr.tuwien.ac.at/research/reports/rr1405.pdf},
 year = {2014}
}