Stefan Rümmele
4 papers
· 2013–2015
· 1 conference
· across top CS/AI conferences
Achievements
🚀
Conference Pioneer
Conferences
IJCAI (4)
Papers
Merging in the Horn Fragment
IJCAI 2015
Backdoors to Abduction
IJCAI 2013