@inproceedings{Szeider13b,
 author = {Stefan Szeider},
 booktitle = {2013 {IEEE} 25th International Conference on Tools with
Artificial Intelligence, Herndon, VA, USA, November
4-6, 2013},
 doi = {10.1109/ICTAI.2013.136},
 note = {invited keynote talk},
 pages = {897-898},
 title = {Capturing Structure in Hard Combinatorial Problems},
 year = {2013}
}