Positive and Negative Results for Parameterized Compilability

Abstract

Full Citation:

Simone Bova, Ronald de Haan, Neha Lodha, Stefan Szeider. Positive and Negative Results for Parameterized Compilability. 2016, Technical report AC-TR-16-003, Algorithms and Complexity Group, TU Wien.

Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.