Efficient Solution Methods for Hard Problems (2016/2017)
Organizers: Agata Ciabattoni (WPI c/o TU Wien), Thomas Eiter (WPI c/o TU Wien),
Georg Gottlob (WPI c/o TU Wien), Laura Kovacs (WPI c/o TU Wien), Reinhard Pichler
(WPI c/o TU Wien), Stefan Szeider (WPI c/o TU Wien), Stefan Woltran (WPI c/o TU Wien)