Vienna University of Technology
Institute of Information Systems (184/3)
Vienna University of Technology (TU Wien)
A-1040 Vienna, Austria
Phone: +43 (1) 58801 184833
Mobile: +420 608 566012
e-mail: rganian ( at ) gmail ( dot ) com
This research is carried out as part of the project "The Parameterized Complexity of Reasoning Problems" under the supervision of Stefan Szeider.