Stefan Rümmele

Recent Publications

Backdoors to Abduction
Proceedings of IJCAI 2013, the 23th International Joint Conference on Artificial Intelligence, August 3-9, 2013, Beijing, China, 2013.